Popular repositories Loading

1. papers-phd papers-phd Public

   Being archives for papers/projects I've worked on in my PhD studies.

   TeX 5

2. PhD-thesis PhD-thesis Public

   TeX 4 1

3. ESOP2019-artifact ESOP2019-artifact Public

   Distributive Disjoint Polymorphism for Compositional Programming

   Coq 4

4. first-class-trait first-class-trait Public archive

   Type system for first-class traits

   Haskell 3

5. phd-thesis-artifact phd-thesis-artifact Public

   Coq 3

6. dependent_typed dependent_typed Public

   From Simply Typed Lambda Calculus to Dependently Typed Lambda Calculus

   Haskell 2