WS 2011/12 edition of PLT course
Staff
Lecture: Prof. Dr. Ralf Lämmel
Lab: Andrei Varanovich
Navigation
- Current examination rules (Wiki)
- Past exams: *.pdf (requires uniko login)
- Klips: lecture and lab
- Timeless course portal (Wiki)
- SVN for assignments: https://svn.uni-koblenz.de/softlang/main/courses/plt1112/students append name of group
- SVN for referenced solutions https://svn.uni-koblenz.de/softlang/main/courses/plt1112/public/solutions/
- SVN for Lab haskell demos https://svn.uni-koblenz.de/softlang/main/courses/plt1112/public/haskell/
- SVN for Denotational Semantics examples: https://slps.svn.sourceforge.net/svnroot/slps/topics/NielsonN07/Haskell/src
Lecture
Videos are provided for some of the lectures.
- 19.10.2011: Introduction (.pdf)
- 25.10.2011: Prolog crash course I/II (.pdf); (.mov)
- 26.10.2011: Prolog crash course II/II (.pdf)
- 02.11.2011: Big-step operational semantics (.pdf); (.mov)
- 08.11.2011: Small-step operational semantics (.pdf); (.mov)
- 09.11.2011: Type systems (.pdf); (.mov)
- 16.11.2011: The untyped lambda calculus (.pdf); (.mov)
- 22.11.2011: The simply typed lambda calculus (.pdf); (.mov)
- 23.11.2011: Lambda calculi with polymorphism (.pdf); (.mov)
- 30.11.2011: Featherweight Java (.pdf)
- 06.12.2011: Concurrency calculi (.pdf)
- 07.12.2011: Q&A for midterm (.pdf)
- 14.12.2011: Q&A for midterm
- 21.12.2011: Midterm
- 10.01.2012: Haskell intro I/III (.pdf)
- 11.01.2012: Haskell intro II/III (all slides see (.pdf) part I/III)
- 17.01.2012: Guest lecture
- 18.01.2012: Haskell intro III/III (all slides see (.pdf) part I/III)
- 25.01.2012: Denotational semantics (.pdf); (.mov)
- 31.01.2012: Program analysis (.pdf); (.mov)
- 01.02.2012: Q&A for final (.pdf)
- 08.02.2012: Final
Extra material for over-achievers
- The quick essence of functional programming (.pdf)
- A series of Channel9 lectures on functional programming
Lab
- 26.10.2011
- 02.11.2011
- 16.11.2011
- 23.11.2011
- 30.11.2011
- 07.12.2011
- 14.12.2011
- 11.01.2012
- 18.01.2012
- 25.01.2012
- 01.02.2012
Assignments
page revision: 66, last edited: 26 Feb 2014 18:12