Practicals

Week 2 - Lambda Calculus and Haskell

• Exercises: [pdf]

Week 3 - Proof in Haskell

• Exercises: [pdf]
• Code: [PropositionalLogic.hs] [CurryHoward.hs] [CurryHoward_solns.hs]

Week 4 - Top Down Parsing

• Exercises: [pdf]

Weeks 5 & 6 - Flex and Bison

• Exercises: [pdf]
• Code and manuals

Week 9 - Drop In / Catch-up tutorial

There are no extra exercises this week, but I'll be down in the lab at the same time if you would like help with the lecture material, past lab exercises, or fixing bugs in your assignment code.

Week 10 - Drop In / Fixpoints

For this week, do the exercises from the lecture notes on fixpoint theory. I'll also be down in the lab for assignment help.

Week 11 - System-F and Operational Semantics

• Exercises: [pdf]
  
• Solutions: [pdf]
  Remember that we're in N108 from now on, instead of in the lab.

Week 12 - Denotational Semantics

• Exercises: [pdf]
  
• Solutions: [pdf]
  

Week 13 - Drop In

No extra exercises, but I'll be in the tute room to help with exam preparation.