Write a Blog >>
Thu 22 Nov 2018 16:55 - 17:20 at Boothzaal - 3 Chair(s): Robbert Krebbers

One of the cornerstones of functional programming languages is pattern matching. However, many students struggle with the concept, and end up using constructs such as isNothing or fromJust. I will present the sketch of a system I am developing which can convert automatically from bad style into a series of pattern matches.

Thu 22 Nov

15:40 - 17:20: PLNL - 3 at Boothzaal
Chair(s): Robbert KrebbersDelft University of Technology
plnl-2018-papers15:40 - 16:05
Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium
plnl-2018-papers16:05 - 16:30
Anders SchlichtkrullTechnical University of Denmark, Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Dmitriy TraytelETH Zurich
plnl-2018-papers16:30 - 16:55
Alen ArslanagićUniversity of Groningen
plnl-2018-papers16:55 - 17:20
Alejandro SerranoUtrecht University, Netherlands