WorldCat Identities

Tofte, Mads

Overview
Works: 38 works in 106 publications in 4 languages and 2,405 library holdings
Roles: Author, Editor
Classifications: QA76.73.M6, 005.133
Publication Timeline
.
Most widely held works by Mads Tofte
The definition of Standard ML by R Milner( Book )

9 editions published between 1988 and 1990 in English and held by 317 WorldCat member libraries worldwide

Compiler generators : what they can do, what they might do, and what they will probably never do by Mads Tofte( Book )

13 editions published between 1990 and 2012 in English and Italian and held by 283 WorldCat member libraries worldwide

Software -- Programming Languages
Commentary on Standard ML by R Milner( Book )

8 editions published between 1990 and 1991 in English and held by 259 WorldCat member libraries worldwide

Proof, language, and interaction : essays in honour of Robin Milner( Book )

8 editions published in 2000 in English and held by 192 WorldCat member libraries worldwide

Operational semantics and polymorphic type inference by Mads Tofte( Book )

9 editions published between 1987 and 1988 in English and Undetermined and held by 14 WorldCat member libraries worldwide

Four lectures on standard ML by Mads Tofte( Book )

5 editions published in 1989 in English and Undetermined and held by 9 WorldCat member libraries worldwide

Co-induction in relational semantics by R Milner( Book )

4 editions published in 1988 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Go' sønda' morn' by Anne Linnet( Recording )

4 editions published in 1989 in Danish and held by 7 WorldCat member libraries worldwide

The definition of standard ML : version 2 by Robert William Harper( Book )

10 editions published between 1988 and 1989 in English and Undetermined and held by 7 WorldCat member libraries worldwide

A type discipline for program modules by Roger H Harper( Book )

3 editions published in 1987 in English and Undetermined and held by 7 WorldCat member libraries worldwide

The semantics of standard ML : version 1 by Roger H Harper( Book )

3 editions published in 1987 in English and Undetermined and held by 4 WorldCat member libraries worldwide

Compilers generators by Mads Tofte( Book )

1 edition published in 1990 in English and held by 4 WorldCat member libraries worldwide

Object orientation with parallelism and persistence by Mads Tofte( Book )

1 edition published in 2012 in English and held by 2 WorldCat member libraries worldwide

A proposal for separate compilation in ML by Mads Tofte( Book )

2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide

Bubber's ballonfærd( Recording )

1 edition published in 1993 in Danish and held by 2 WorldCat member libraries worldwide

Rapport. Tutorial on standard ML( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

Rapport. Generering af en oversættergenerator( Book )

1 edition published in 1983 in Multiple languages and held by 1 WorldCat member library worldwide

Rapport. Programming with regions in the ML Kit( Book )

1 edition published in 1998 in Multiple languages and held by 1 WorldCat member library worldwide

On functor matching by Mads Tofte( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

Status of separate compilation by Mads Tofte( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.06 for Proof, lan ... to 0.97 for Rapport. T ...)

The definition of Standard ML
Alternative Names
Mads Tofte Danish computer scientist

Tofte, M.

Languages
Covers
Compiler generators : what they can do, what they might do, and what they will probably never doProof, language, and interaction : essays in honour of Robin MilnerCompilers generators