NeColus

Mar 6, 2019
Code

Coq formalization of a coherent calculus with records and disjoint intersection types that supports nested composition

disjoint-intersection-type coq haskell
Xuan Bi
Xuan Bi
Quantitative Developer

Quantitative developer at Standard Chartered (Hong Kong)

Publications

The Essence of Nested Composition

Calculi with disjoint intersection types support an introduction form for intersections called the merge operator, while retaining a …
Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
PDF Project Slides