Robert Harper
3 published titles
The definition of Standard ML
(Contributor)
1 edition
- ISBN: 0262631326
- MIT Press
- 1990
- Details
A framework for defining logics
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Practical foundations for programming languages
1 edition
- ISBN: 9781107029576
- Cambridge University Press
- 2013
- Details
