## 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