Polymorphic functions with set-theoretic types

DOI10.1145/2535838.2535840zbMath1284.68126OpenAlexW2047304692MaRDI QIDQ5408397

No author found.

Publication date: 10 April 2014

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

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

zbMATH Keywords

XMLtypespolymorphismintersection types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Unnamed Item ⋮ The Recursive Union of Some Gradual Types ⋮ Polarized subtyping ⋮ Disjoint Polymorphism ⋮ Unnamed Item ⋮ Taming the Merge Operator

This page was built for publication: Polymorphic functions with set-theoretic types