Posts tagged with "type theory"
- Errors are Values Too
- Too Much Power Will Kill You (Every Time)
- Become a Better Haskeller by Learning About Inductive Types
- Boeing and Deaths due to Software Bugs
- Notice of AMS: Vladimir Voevodsky
- Gentle Introduction to Homotopy Type Theory
- Interactive Theorem Proving
- Giving a Talk on Propositions as Types
- Insisting on a Three-valued Boolean Type
- Comparison of Type Theory and Set Theory
- Isomorphism and Embedding
- Gave a Talk on Function Totality
- Proof Assistant in Teaching
- Hooked on Dependent Types
- Typed Functional Programming and Software Correctness
- Wadler on Invented Programming Languages
- Refinement Types