Set-theoretic foundation of parametric polymorphism and subtyping

DOI10.1145/2034773.2034788MaRDI QIDQ5176966zbMATH OpenFDO

Authors Giuseppe Castagna, Zhiwu Xu

Publication date 5 March 2015

Published in Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

parametricitypolymorphismsubtypingtypesXML

Mathematics Subject Classification ID

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

Recommendations

• Formal parametric polymorphism
• scientific article; zbMATH DE number 512792
• scientific article; zbMATH DE number 742721
• scientific article; zbMATH DE number 1183239
• Set-theoretic types for polymorphic variants

Cited in

(9)

• Judgmental subtyping systems with intersection types and modal types
• Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
• Set-theoretic types for polymorphic variants
• scientific article; zbMATH DE number 2089395 (Why is no real title available?)
• Taming the merge operator
• Semantic subtyping for non-strict languages
• Parametric polymorphism and semantic subtyping
• scientific article; zbMATH DE number 7168151 (Why is no real title available?)
• Core algebra revisited

Describes a project that uses

Uses Software

• CDuce
• XDuce

This page was built for publication: Set-theoretic foundation of parametric polymorphism and subtyping

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