Tofte, Mads, 1959-....
VIAF ID: 111007875 (Personal)
ISNI: 0000 0001 1698 8031
4xx's: Alternate Name Forms (2)
- 400 0 _ ‡a Mads Tofte ‡c Danish computer scientist
- 400 1 _ ‡a Tofte, M.
|Commentary on Standard ML|
|Compiler generators / Mads Tofte. - Berlin [etc.], 1990.|
|Compiler generators what they can do, what they might do, and what they will probably never do|
|The definition of Standard ML|
|Proof, language, and interaction : essays in honour of Robin Milner|
Countries of Publication (2)
Selected Publishers (2)
- DK - Denmark
- dan - Danish