Principles of Programming Languages (G53POP)

No lecture on Thursday 26/11/09!

Course Information

• Lecturer: Thorsten Altenkirch
• Module Code: G53POP
• Duration: Autumn 2009, Semester 1
• Lectures: Thursday, 1500-1600 in JC-INTHSE-A12 (International House), Monday, 1000-1100 in C60 (Computer Science), 1st lecture: Thursday 24/9

Lecture material

• First set of lecture notes Typed lambda-calculus: Concepts and Syntax (by P.Levy, adapted for G53POP by me).
  added 27/9/09, updated 1/10/09.
• Second set of lecture notes Typed lambda-calculus: Substitution and Equations (by P.Levy, adapted for G53POP by me).
  added 12/10/09
• Third set of lecture notes Typed lambda-calculus: From Pure To Effectful (by P.Levy, adapted for G53POP by me).
  added 29/10/09
• Fourth set of lecture notes Typed lambda-calculus: Denotational Semantics of Call-By-Value (by P.Levy, adapted for G53POP by me).
  added 22/11/09

Background Reading (and viewing)

• Peter Landin's Obituary
• Video: Olivier Danvy: In Memoriam:Peter Landin at ICFP 2009
• Famous papers by Landin: The next 700 Programming Languages (1965), The mechanical evaluation of expressions (1964)
• Paul Levy's book (2003): Call-by-push-value: a functional/imperative synthesis