Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Wed 21 Aug 2019 17:36 - 18:00 at Aurora Borealis - Lambda-Calculus & Teaching Chair(s): Jonathan Protzenko

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

Wed 21 Aug

icfp-2019-papers
16:50 - 18:00: Research Papers - Lambda-Calculus & Teaching at Aurora Borealis
Chair(s): Jonathan ProtzenkoMicrosoft Research, Redmond
icfp-2019-papers16:50 - 17:13
Talk
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
icfp-2019-papers17:13 - 17:36
Talk
Aliya HameerMcGill University, Brigitte PientkaMcGill University
icfp-2019-papers17:36 - 18:00
Talk
Jeremy YallopUniversity of Cambridge, UK, Leo WhiteJane Street
DOI Pre-print