Blog posts tagged withtype theory Type Theory
Erasable Dependent Types
Erasing runtime irrelevant information while retaining the verification of dependent types.
Row Polymorphism without the Jargon
This obscure class of polymorphism acts as an interesting replacement for subtyping.