Polymorphic functions with set-theoretic types. I: Syntax, semantics, and evaluation

DOI10.1145/2535838.2535840MaRDI QIDQ5408397zbMATH OpenOpenAlexFDO

Authors

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

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

Recommendations

• Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction
• scientific article; zbMATH DE number 3882404
• scientific article; zbMATH DE number 4027428
• scientific article; zbMATH DE number 4061468
• A calculus with polymorphic and polyvariant flow types

Cited in

(11)

• Taming the merge operator
• The recursive union of some gradual types
• Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction
• Polarized subtyping
• scientific article; zbMATH DE number 7561489 (Why is no real title available?)
• scientific article; zbMATH DE number 63120 (Why is no real title available?)
• Polymorphic Abstract Syntax via Grothendieck Construction
• Set-theoretic types for polymorphic variants
• Disjoint polymorphism
• Bifibrational functorial semantics of parametric polymorphism
• Reachability analysis of innermost rewriting

This page was built for publication: Polymorphic functions with set-theoretic types. I: Syntax, semantics, and evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408397)