Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Mads Tofte | lit.salon

Author

Mads Tofte

6 works

1988–2000 across 4 dated works

No biography is available yet.

Start with

Operational semantics and polymorphic type inference1988
Compiler Generators What They Can Do, What They Might Do, and What They Will Probably Never Do1990
Compiler generators: what they can do, what they might do, and what they will probably never do1990
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)2000
With G. Plotkin, Colin P. Stirling

Books

4 works

Featured (4)Featured (4)All (6)All (6)

Search booksSort books

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)2000
With G. Plotkin, Colin P. Stirling
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Compiler Generators What They Can Do, What They Might Do, and What They Will Probably Never Do1990
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Compiler generators: what they can do, what they might do, and what they will probably never do1990
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Operational semantics and polymorphic type inference1988
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Mads Tofte.

The conversation is still open.

There is no public salon activity to show for Mads Tofte yet.