type safe high assurance practices in

• haskell
• agda
• constructive logic
• dependent types
• martin-lof type theory
• homotopy type theory

rick at rickmurphy dot org