Set-theoretic foundation of parametric polymorphism and subtyping

DOI10.1145/2034773.2034788zbMath1323.68066MaRDI QIDQ5176966

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)

zbMATH Keywords

XMLtypespolymorphismsubtypingparametricity

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)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Judgmental subtyping systems with intersection types and modal types ⋮ Taming the Merge Operator

Uses Software

• CDuce
• XDuce

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