Mads Tofte

Identifiers

Open LibraryOL885444A

Top Subjects

Programming languages (Electronic computers) -- Semantics (1)
Compilers (Computer programs) (1)
Computer science (1)
R. Milner (1934-) (1)

Books by Mads Tofte

Total count: 6

Operational semantics and polymorphic type inference

University of Edinburgh, Dept. of Computer Science1988-01-01
Four lectures on standard ML.

University of Edinburgh, Laboratory for Foundations in Computer Science1989-01-01
Compiler Generators

Island Press1990-01-01
Compiler generatorswhat they can do, what they might do, and what they will probably never do

Springer-Verlag1990-01-01
Definition of Standard ML

MIT Press1997-01-01
Proof, language, and interactionessays in honour of Robin Milner

MIT Press2000-01-01