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
modules.
n several efficient implementations
n a formal definition with a proof of soundness.
MS.NET day, Pisa, Sept 2001