Disjoint intersection types

DOI10.1145/2951913.2951945zbMath1361.68046OpenAlexW2517607333MaRDI QIDQ2985786

Bruno C. d. S. Oliveira, Joao Alpuim, Zhiyuan Shi

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2951913.2951945

zbMATH Keywords

type systemintersection types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

Explicit effect subtyping ⋮ Applicative intersection types ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ Disjoint Polymorphism ⋮ Taming the Merge Operator

Uses Software

• Haskell
• Twelf
• CDuce

This page was built for publication: Disjoint intersection types