Mads Tofte

• The definition of standard ML
• Compiler Generators
• Compiler generators
• Proof, language, and interaction
• Four lectures on standard ML
• Operational semantics and polymorphic type inference