Mads Tofte

Proof, language, and interaction

2000

Compiler generators

1990

Four lectures on standard ML

Four lectures on standard ML

1989

Operational semantics and poly

Operational semantics and polymorphic type inference

1988