Set-theoretic types for polymorphic variants

DOI10.1145/2951913.2951928zbMath1360.68318arXiv1606.01106OpenAlexW2415457035MaRDI QIDQ2985787

No author found.

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://arxiv.org/abs/1606.01106

zbMATH Keywords

type reconstructionunion typestype constraints

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Gradual typing using union typing with records ⋮ Polarized subtyping ⋮ Unnamed Item

Uses Software

• OCaml

This page was built for publication: Set-theoretic types for polymorphic variants