Mads Tofte
3 published titles
The definition of Standard ML
(Contributor)
1 edition
- ISBN: 0262631326
- MIT Press
- 1990
- Details
Commentary on Standard ML
(Contributor)
1 edition
- ISBN: 0262631377
- MIT Press
- 1991
- Details
Proof, language, and interaction : essays in honour of Robin Milner
(Contributor)
1 edition
- ISBN: 0262161885
- MIT Press
- 2000
- Details
