Polymorphic Functions with Set-Theoretic Types

DOI10.1145/2676726.2676991zbMath1345.68041OpenAlexW2087871591MaRDI QIDQ2819814

No author found.

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

XMLtypespolymorphismintersection typestype constraintssemantic subtyping

Mathematics Subject Classification ID

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

Related Items (5)

Unnamed Item ⋮ Set Constraints, Pattern Match Analysis, and SMT ⋮ Polarized subtyping ⋮ Unnamed Item ⋮ Taming the Merge Operator

This page was built for publication: Polymorphic Functions with Set-Theoretic Types