Mads Tofte

5 books

Definition of Standard ML, Revised Edition by Robin Milner, Robert Harper, David MacQueen, Mads Tofte

Definition of Standard ML, Revised Edition

Robin Milner, Robert Harper, David MacQueen, Mads Tofte

128 pages • first pub 1990 (editions)

nonfiction computer science informative medium-paced
Commentary on Standard ML by Robin Milner, Mads Tofte

Commentary on Standard ML

Robin Milner, Mads Tofte

160 pages • first pub 1990 (editions)

informative medium-paced
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do by Mads Tofte

Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do

Monographs in Theoretical Computer Science. an Eatcs

Mads Tofte

147 pages • missing pub info (editions)

nonfiction art computer science
The Definition of Standard ML, revised edition by Robin Milner, Robert Harper, David MacQueen, Mads Tofte

The Definition of Standard ML, revised edition

Robin Milner, Robert Harper, David MacQueen, Mads Tofte

132 pages • first pub 1990 (editions)

nonfiction computer science informative medium-paced
Proof, Language, and Interaction: Essays in Honour of Robin Milner by Colin P. Stirling, Mads Tofte, Gordon Plotkin
Proof, Language, and Interaction: Essays in Honour of Robin Milner
—
Colin P. Stirling, Mads Tofte, Gordon Plotkin

Proof, Language, and Interaction: Essays in Honour of Robin Milner

Colin P. Stirling, Mads Tofte, Gordon Plotkin

736 pages • first pub 2000 (editions)

reflective medium-paced