Mads Tofte
Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Tofte, Mads', query time: 0.02s
Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
-
1
Compiler generation what they can do, what they might do, and what they will probably never do by Tofte, Mads
Published 1990Call Number: Loading…
Located: Loading… -
2
The definition of Standard ML by Milner, Robin 1934-2010, Tofte, Mads, Harper, Robert 1957-
Published 1990Call Number: Loading…
Located: Loading… -
3
Commentary on Standard ML by Milner, Robin 1934-2010, Tofte, Mads
Published 1991Call Number: Loading…
Located: Loading… -
4
Compiler generators what they can do, what they might do, and what they will probably never do by Tofte, Mads
Published 1990Call Number: Loading…Indexes
Located: Loading…
-
5
Operational semantics and polymorphic type inference by Tofte, Mads
Published 1988Call Number: Loading…
Located: Loading… -
6
The semantics of standard ML, version 1 by Harper, Robert 1957-, Milner, Robin 1934-2010, Tofte, Mads
Published 1987Call Number: Loading…
Located: Loading…