Advanced topics in programming languages

Tentative seminar schedule

Seminars take place at 11am on Mondays in FW26, except for the first week, which will take place at 11am on Friday in the same room.

Week 1 (Fri 10 October 2025)

Introduction
Materials:

• Introduction slides
  

Week 2 (presentations on Mon 20 October 2025)

Taming functions
Materials:

• Taming functions slides
  

Assigned papers:

• Defunctionalization at Work
  (PPDP 2001)
  Olivier Danvy and Lasse R. Nielsen
• Typed closure conversion
  (POPL 1996)
  Yasuhiko Minamide, Greg Morrisett and Robert Harper
• Lambda-Lifting in Quadratic Time
  (FLOPS 2002)
  Olivier Danvy and Ulrik P. Schultz

Week 3 (presentations on Mon 27 October 2025)

Effect handlers

Week 4 (presentations on Mon 3 November 2025)

Dependent types

Week 5 (presentations on Mon 10 November 2025)

Module systems

Week 6 (presentations on Mon 17 November 2025)

Verified compilation

Week 7 (presentations on Mon 24 November 2025)

Partial evaluation

Week 8 (presentations on Mon 1 December 2025)

Program synthesis