A Mathematician's Lament.pdf
A Simplification of Girard's Paradox.pdf
A Theory of Qualified Types.pdf
Automatic Synthesis of Typed Λ-programs on Term Algebras.pdf
Boxes Go Bananas - Encoding Higher-Order Abstract Syntax with Parametric Polymorphism.pdf
Church's Thesis and Functional Programming.pdf
First Steps in Synthetic Guarded Domain Theory - Step-Indexing in the Topos of Trees.pdf
Lecture Notes on Judgments and Propositions.pdf
On the Meanings of the Logical Constants and the Justifications of the Logical Laws.pdf
Pure Type Systems for Functional Programming.pdf
Recursive Types for Free!.txt
Safely Composable Type-Specific Languages.pdf
Sereval Types of Types in Programming Languages.pdf
Species and Functors and Types, Oh My!.pdf
The Calculus of Constructions.pdf
The Derivative of a Regular Type Is Its Type of One-Hole Contexts.pdf
The Extended Calculus of Constructions (ECC) with Inductive Types.pdf
The Two Dualities of Computations - Negative and Fractional Types.pdf
Type Inference in Context.pdf
Type Theory in Type Theory Using Quotient Inductive Types.pdf
Type-Checking Injective Pure Type System.pdf
Types and Programming Languages The Next Generation.pdf
Using Session Types as an Effect System.pdf
Which Simple Types Have a Unique Inhabitant.pdf
Failed to load latest commit information.
Latest commit Folders and files Name Name Last commit message
Last commit date
parent directory
View all files
You can’t perform that action at this time.
Failed to load latest commit information.