Tofte, Mads.
Tofte, Mads, 1959-....
Mads Tofte
VIAF ID: 111007875 ( Personal )
Permalink: http://viaf.org/viaf/111007875
Preferred Forms
- 100 0 _ ‡a Mads Tofte
- 100 0 _ ‡a Mads Tofte
-
-
-
-
-
-
- 100 1 _ ‡a Tofte, Mads
-
- 100 1 0 ‡a Tofte, Mads
-
- 100 1 _ ‡a Tofte, Mads, ‡d 1959-....
-
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Commentary on Standard ML | |
Compiler generators : what they can do, what they might do, and what they will probably never do | |
The definition of Standard ML, 1990: | |
Filosoffer er nogle af de bedste softwareudviklere | |
Generering af en oversættergenerator | |
Go' sønda' morn' | |
Kodesprog: Algoritmer er almen dannelse | |
Min afrikanske datter er uønsket i Danmark | |
Mr. IT-Universitets succes blev grundlagt med havestole og autolager | |
Plotkin, G. - Stirling, Colin P. - Tofte, Mads (eds.): Proof, language, and interaction | |
Programming with regions in the ML Kit | |
Proof, language, and interaction : essays in honour of Robin Milner | |
Sådan kommer humanister ud af dødvandet | |
An ¤Atlantic voyage under sails | |
A ¤theory of stack allocation in polymorphically typed languages |