Browse
FAQ

Author

Mads Tofte

5 books found

Cover of Proof, language, and interaction

Proof, language, and interaction

Mads Tofte, G. Plotkin, Colin P. Stirling · First published 2000

Cover of The definition of standard ML

The definition of standard ML

R. Milner, Robin Milner, Mads Tofte, Harper, Robert, David MacQueen · First published 1997

Cover of Compiler Generators

Compiler Generators

Mads Tofte · First published 1990

Placeholder cover for Four lectures on standard ML

Four lectures on standard ML

Mads Tofte · First published 1989

Placeholder cover for Operational semantics and polymorphic type inference

Operational semantics and polymorphic type inference

Mads Tofte · First published 1988