Skip to content

Home Practice Lessons About

Mads Tofte

Books

Proof, language, and interaction
The definition of standard ML
Four lectures on standard ML
Operational semantics and polymorphic type inference
Compiler Generators
Compiler generators

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.