programming 8
- Type Theory Part III: Verifying Formal Specifications
- The Layers Of Outsourcing Code
- Type Theory Part II: Proving Natural Addition Commutes from First Principles
- Type Theory Part I: Introduction to Type Theory
- On Design and Normativity
- A Hypothetical New Mathematical Field
- Ranking My Subjects
- What is the 'Co' in 'Covariant' in C#?