Tofte, Mads.
Tofte, Mads, 1959-....
VIAF ID: 111007875 (Personal)
Permalink: http://viaf.org/viaf/111007875
Preferred Forms
-
100 1 _ ‡a Tofte, Mads (undifferentiated)
-
100 1 0 ‡a Tofte, Mads
-
100 1 _ ‡a Tofte, Mads
-
200 _ | ‡a Tofte ‡b Mads ‡f 1959-....
-
100 1 _ ‡a Tofte, Mads, ‡d 1959-....
-
100 1 _ ‡a Tofte, Mads
-
100 1 _ ‡a Tofte, Mads.
Selected Titles
- The definition of Standard ML, 1990:
(4)
- Compiler generators : what they can do, what they might do, and what they will probably never do
(4)
- Proof, language, and interaction : essays in honour of Robin Milner
(3)
- Compiler generators ... c1990:
(2)
- Commentary on Standard ML
(2)
- Proof, language and interaction essays in honour of Robin Milner
(1)
- Compiler generators what they can do, what they might do, and what they will probably never do
(1)
