Subtyping and intersection types revisited

DOI10.1145/1291151.1291153MaRDI QIDQ5168936zbMATH OpenOpenAlexFDO

Authors Frank Pfenning

Publication date 21 July 2014

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

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

Mathematics Subject Classification ID

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

Recommendations

• Intersection types and computational effects
• scientific article; zbMATH DE number 1956517
• Judgmental subtyping systems with intersection types and modal types
• A decidable subtyping logic for intersection and union types
• On the unity of duality

Cited in

(12)

• On the unity of duality
• Judgmental subtyping systems with intersection types and modal types
• Intersection types and computational effects
• scientific article; zbMATH DE number 431770 (Why is no real title available?)
• Structural subtyping for inductive types with functorial equality rules
• scientific article; zbMATH DE number 1302055 (Why is no real title available?)
• scientific article; zbMATH DE number 1956517 (Why is no real title available?)
• scientific article; zbMATH DE number 860050 (Why is no real title available?)
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• Theoretical Computer Science
• Typed homomorphic relations extended with subtypes
• On specifications, subset types and interpretation of proposition in type theory

This page was built for publication: Subtyping and intersection types revisited

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