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 • 1990

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 • hardcover • 1990

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 • paperback

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 • paperback • 1990

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 • hardcover • 2000

reflective medium-paced