The material from Simpon Peyton Jones' paper "Tackling the Awkward
Squad" and the background material presented in the corresponding
lectures. In particular, you need to understand the operational
semantics presented in that paper.
Compilation of Functional Languages
(Typed) core languages; encriched lambda calculus; encoding of data
structures into the lambda calculus; basic ideas of (compiled) graph
reduction; basic ideas of the STGM; basic ideas of GHC's Core language.
Type Systems
Strong typing; Haskell's type system; type inference.
