Our favourite language: ML
n A safe, modular, strict, higher order, functional,
polymorphic programming language with static
type checking and type inference, garbage
collection, exception handling, immutable data
types, pattern matching and updatable
references, abstract data types, and parametric
n several efficient implementations
n a formal definition with a proof of soundness.
MS.NET day, Pisa, Sept 2001