Mads Tofte | Bookitis

Mads Tofte

Mads Tofte

MT

4 featured booksMads Tofte

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL885444A

Overview

Catalog identity and bibliographic footprint for this author.

4 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

Display name
Mads Tofte
Personal name
Mads Tofte
Source identifier
OL885444A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Proof, language, and interaction
Representative edition published 2000
Open Work
The definition of standard ML
Representative edition published 1997
Open Work
Compiler Generators
Representative edition published 1990
Open Work
Compiler generators
Representative edition published 1990
Open Work