- A Simple Typed Intermediate Language for Object-Oriented Languages
- A Type directed optimizing compiler for ML
- Algebraic methods for interactiVe proof systems
- bird_wadler. Introduction To functional programming.1ed
- blame, coercion, and threesomes
- Callarity-TFP
- Category theory for computing science
- Engineering a compiler
- Homotopy is not concrete
- Practical foundations for programming languages
- Programming in Martin Lof Type Theory
- Programming macRo tree transducers
- Proofs and types
- The programming language JigSaw mixins modularity multiple inheritance
- Type Systems
- The two dualities Of computatiOn negative and fractional types
- Type theory and functional programming
- Type theory should eat itself
- Why functional programming matters