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