Stuff from UIUC's CS421 - Programming Languages and Compilers. MPs written in the functional language OCaml.