Foundations for the implementation of higher-order subtyping

DOI10.1145/258948.258961MaRDI QIDQ5348870zbMATH OpenOpenAlexFDO

Authors Karl Crary

Publication date 21 August 2017

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Higher-order subtyping
• Positive subtyping
• Coercive subtyping: theory and implementation
• scientific article; zbMATH DE number 125886
• Subtyping can have a simple semantics

Cited in

(8)

• Higher-order subtyping
• Subtyping inheritance and its application in languages for symbolic computation systems
• Typed compilation of inclusive subtyping
• scientific article; zbMATH DE number 2086502 (Why is no real title available?)
• scientific article; zbMATH DE number 860050 (Why is no real title available?)
• Inclusions and subtypes II: higher-order case
• A delegation-based object calculus with subtyping
• Innovations in computational type theory using Nuprl

This page was built for publication: Foundations for the implementation of higher-order subtyping

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