Improving pattern matching style (PLNL 2018 - : First VERSEN Workshop on Programming Languages in The Netherlands)

Track

PLNL 2018

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Abstract

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.

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 22 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20	3PLNL at Boothzaal Chair(s): Robbert Krebbers Delft University of Technology

15:40 25m Talk		Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory PLNL Andreas Nuyts KU Leuven, Belgium, Dominique Devriese Vrije Universiteit Brussel, Belgium
16:05 25m Talk		A Verified Automatic Prover Based on Ordered Resolution PLNL Anders Schlichtkrull Technical University of Denmark, Jasmin Blanchette Vrije Universiteit Amsterdam, Dmitriy Traytel ETH Zurich
16:30 25m Talk		Type Systems with Constraints for ML Type Inference with the Implementation in Haskell PLNL Alen Arslanagić University of Groningen
16:55 25m Talk		Improving pattern matching style PLNL Alejandro Serrano Utrecht University, Netherlands

Improving pattern matching style

Program Display Configuration

Program Display Configuration

Thu 22 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Alejandro Serrano

Utrecht University, Netherlands

Thu 22 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change