Lecture Slides: Foundations of Programming

Lecturers and assistants: Giovanni Coary, Martin Odersky, Matthias Zenger, Vincenzo Palotta.

• Overview,
  in .pdf format, in .ps format.

• Week 1: Introduction to Functional Programming,
  in .pdf format, in .ps format.

• Week 2: Lambda Calculus,
  in .pdf format, in .ps format.

  Lists in Funnel ,
  in .pdf format, in .ps format.

• Week 3: Algebraic Data Types,
  in .pdf format, in .ps format.

• Week 4: Functional Nets,
  in PowerPoint (.ppt) format, in .ps format.

• Week 4+5: Functional Nets, the material from weeks 4 and 5 together
  in PowerPoint (.ppt) format, in .ps format.

• Week 6: Denotational Semantics,
  Denotational semantics of Simpl, in .ps format,
  Domain Theory, in .ps format.

• Week 7: Axiomatic Semantics,
  in .ps format,
  

• Week 8: Type Systems: The Simply Typed Lambda Calculus,
  in .pdf format, in .ps format. (corrected)

• Week 9: Polymorphism,
  in .pdf format, in .ps format.

• Week 10: Types for Object-Oriented Programming,
  in .pdf format, in .ps format.

• Week 12: A Funnel interpreter for logic programs,
  in .pdf format, in .ps format.