/nested-composition

Primary LanguageCoq

Coherent Nested Composition

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