WorldCat Identities

Tofte, Mads

Overview
Works: 33 works in 110 publications in 4 languages and 2,494 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 )

18 editions published between 1988 and 1990 in English and held by 323 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 )

15 editions published between 1984 and 1990 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 254 WorldCat member libraries worldwide

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

10 editions published in 2000 in English and held by 191 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

A type discipline for program modules by Robert Harper( Book )

3 editions published in 1987 in English and held by 7 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 semantics of standard ML : version 1 by University of Edinburgh( Book )

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

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

4 editions published in 1988 in English and held by 4 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. Compiler generators( Book )

2 editions published in 1985 in Multiple languages and held by 2 WorldCat member libraries worldwide

On functor matching by Mads Tofte( Book )

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

Type security in a language with recursion by Mads Tofte( Book )

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

Polymorphic references for beginners by Mads Tofte( Book )

1 edition published in 1988 in English 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

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

1 edition published in 2012 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. Tutorial on standard ML( Book )

1 edition published in 1991 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.05 for Proof, lan ... to 0.96 for Go' sønda' ...)

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 Milner