Mads Tofte

5 books

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

Definition of Standard ML, Revised Edition

Robert Harper, Mads Tofte, Robin Milner, David MacQueen

128 pages • first pub 1990 (editions)

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

Commentary on Standard ML

Mads Tofte, Robin Milner

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 Robert Harper, Mads Tofte, Robin Milner, David MacQueen

The Definition of Standard ML, revised edition

Robert Harper, Mads Tofte, Robin Milner, David MacQueen

132 pages • first pub 1990 (editions)

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

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

Mads Tofte, Gordon Plotkin, Colin P. Stirling

736 pages • first pub 2000 (editions)

reflective medium-paced
More...