Lab: More Steps in Haskell

(Programming Paradigms and Formal Semantics)

© 2009–2010, Ralf Lämmel, Universität Koblenz-Landau

1. Student presentations on previous assignment
2. Reference solution for previous assignment
3. Defining the abstract syntax of B in Haskell data types
4. Parsing B in Haskell
5. Folding operator for B
6. B expression evaluation by folding
7. Introduction to the new assignment