Lambda: the Ultimate Sublanguage (Experience Report) (ICFP 2019 - Research Papers)

Write a Blog >>

Sun 18 - Fri 23 August 2019 Berlin, Germany

Who

Jeremy Yallop, Leo White

Track

ICFP 2019 Research Papers

Time Zone

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

Use conference time zone: (GMT+02: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

Wed 21 Aug 2019 17:36 - 18:00 at Aurora Borealis - Lambda-Calculus & Teaching Chair(s): Jonathan Protzenko

Abstract

We describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a programming language.

Link to Preprint

https://www.cl.cam.ac.uk/~jdy22/papers/lambda-the-ultimate-sublanguage.pdf

DOI

https://doi.org/10.1145/3342713

Jeremy Yallop

University of Cambridge, UK

Leo White

Jane Street