Mads Tofte

Mads Tofte

2 books in the database

Books

Compiler GeneratorsMads Tofte

Compiler Generators

Mads Tofte · 1990

Proof, language, and interactionMads Tofte

Proof, language, and interaction

Mads Tofte · 2000

Co-authored books and collections

Books that list Mads Tofte among their authors but not as the lead author: co-written works, collections and compilations.

The definition of standard MLR. Milner

The definition of standard ML

R. Milner · 1997