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