Mads Tofte

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)  Gordon Plotkin Colin Stirling Mads Tofte Hardcover. The MIT Press, 2000-05 ISBN 9780262161886     Proof, Language, and Interaction  Gordon Plotkin Colin P Stirling Mads Tofte eBook. The MIT Press, 2000-05-08 ISBN 9780262292818     Definition of Standard ML  Robin Milner Robert Harper David MacQueen Mads Tofte eBook. The MIT Press, 1997-05-21 ISBN 9780262296991     Definition of Standard ML  Robin Milner Mads Tofte Robert Harper David MacQueen Paperback. The MIT Press, 1997-07-02 ISBN 9780262631815     Commentary on Standard Ml  Robin Milner Mads Tofte Paperback. MIT Press, 1991-03-27 ISBN 9780262631372     The Definition of Standard Ml  Robin Milner Mads Tofte Robert Harper Hardcover. MIT Press, 1990-03-27 ISBN 9780262132558     Commentary on Standard ML  Robin Milner Mads Tofte Hardcover. The MIT Press, 1990-11 ISBN 9780262132718     The Definition of Standard ML  Robin Milner Mads Tofte Robert Harper Paperback. The MIT Press, 1990-04-20 ISBN 9780262631327     Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (E a T C S Monographs on Theoretical Computer Science)  Mads Tofte Hardcover. Springer, 1990-09-02 ISBN 9780387514710