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.

Conference Day
Wed 21 Aug

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

16:50 - 18:00
Lambda-Calculus & TeachingResearch Papers at Aurora Borealis
Chair(s): Jonathan ProtzenkoMicrosoft Research, Redmond
16:50
23m
Talk
Call-By-Need is Clairvoyant Call-By-Value
Research Papers
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
17:13
23m
Talk
Teaching the Art of Functional Programming Using Automated Grading (Experience Report)
Research Papers
Aliya HameerMcGill University, Brigitte PientkaMcGill University
17:36
23m
Talk
Lambda: the Ultimate Sublanguage (Experience Report)
Research Papers
Jeremy YallopUniversity of Cambridge, UK, Leo WhiteJane Street
DOI Pre-print