Simon Meier

Formal Methods and Functional Programming SS12

Welcome to a fascinating journey into a new and inspiring way of programming! For more information, I highly recommend you to browse the Haskell link collection from the Zurich Haskell enthusiasts.
 

Material from my exercise groups of the FMFP SS12 course:

• Week 1: Example deduction system: cryptographic messages.
• Week 7: Slides from exercise session held in replacement for Cedric Staub: slides_discussion_exercise6.lhs.