Supplementary material for the paper "Coherent Nested Composition with Disjoint Intersection Types".
- coq/ for Coq formalization of the calculus
- impl/ for Haskell implementation of the calculus
- appendix.pdf for the appendix of the paper
Supplementary material for the paper "Coherent Nested Composition with Disjoint Intersection Types".