Books by Mads Tofte

Mads Tofte
Average rating 4.06 · 16 ratings · 2 reviews · shelved 71 times

Showing 6 distinct works.

	The Definition of Standard ML - Revised by Robin Milner, Mads Tofte, Robert Harper, David MacQueen really liked it 4.00 avg rating — 14 ratings — published 1990 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Commentary on Standard Ml by Robin Milner, Mads Tofte 4.67 avg rating — 3 ratings — published 1990 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Proof, Language, and Interaction: Essays in Honour of Robin Milner by Gordon Plotkin (Editor), Colin P. Stirling (Editor), Mads Tofte (Editor) liked it 3.00 avg rating — 1 rating — published 2000 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do by Mads Tofte 0.00 avg rating — 0 ratings — published 1990	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Four lectures on standard ML (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science) by Mads Tofte 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Operational semantics and polymorphic type inference by Mads Tofte 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.