Papers tagged type theory On Understanding Types, Data Abstraction, and Polymorphism Principal Type-Schemes for Functional Programs Propositions as Types The Derivative of a Regular Type is its Type of One-Hole Contexts Browse All Keywords By Category
