Sell, buy or rent Mads Tofte textbooks

The Definition of Standard Ml

by Robin Milner, Mads Tofte, Robert Harper
ISBN-13: 9780262132558
ISBN-10: 0262132559
Publication date: 1990
Publisher: Mit Pr
Format: Hardcover 101 pages

Commentary on Standard Ml

by Robin Milner, Mads Tofte
ISBN-13: 9780262132718
ISBN-10: 0262132710
Publication date: 1656
Publisher: Mit Pr
Format: Hardcover 180 pages

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

by Gordon Plotkin, Colin P. Stirling, Mads Tofte, R. Milner
ISBN-13: 9780262161886
ISBN-10: 0262161885
Publication date: 2000
Publisher: Mit Pr
Format: Hardcover 722 pages

Commentary on Standard Ml

by Robin Milner, Mads Tofte
ISBN-13: 9780262631372
ISBN-10: 0262631377
Publication date: 1991
Publisher: Mit Pr
Format: Paperback 178 pages

Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An EATCS Series, 19)

by Mads Tofte
ISBN-13: 9783642648571
ISBN-10: 3642648576
Edition: Softcover reprint of the original 1st ed. 1990
Publication date: 2011
Publisher: Springer
Format: Paperback 158 pages

The Definition of Standard Ml

by Mads Tofte, Robin Milner, Robert Harper
ISBN-13: 9780262631327
ISBN-10: 0262631326
Publication date: 1990
Publisher: Mit Pr
Format: Paperback 114 pages

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

by Gordon Plotkin, Colin P. Stirling, Mads Tofte
ISBN-13: 9780262281676
ISBN-10: 0262281678
Publication date: 2000
Publisher: The MIT Press
Format: Printed Access Code 736 pages