Lab: Denotational Semantics in Haskell
(Programming Paradigms and Formal Semantics)
© 2009–2010, Ralf Lämmel, Universität Koblenz-Landau
- Student presentations on previous assignment
- Reference solution for previous assignment
- Recalling While abstract syntax and expression evaluation
- Denotational semantics of While
- Introduction to the new assignment