The coherence of languages with intersection types

DOI10.1007/3-540-54415-1_70MaRDI QIDQ5096244zbMATH OpenOpenAlexFDO

Authors John C. Reynolds

Publication date 16 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54415-1_70

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Disjoint intersection types
• Logical relations for coherence of effect subtyping
• Logical relations for coherence of effect subtyping
• scientific article; zbMATH DE number 814795
• Coherence of subsumption, minimum typing and type-checking in F ≤

Cites work

• Functional Characters of Solvable Terms
• scientific article; zbMATH DE number 4180773 (Why is no real title available?)
• scientific article; zbMATH DE number 3949678 (Why is no real title available?)
• Inheritance as implicit coercion

Cited in

(9)

• Proving correctness of a compiler using step-indexed logical relations
• Disjoint polymorphism
• Logical relations for coherence of effect subtyping
• COCHIS: stable and coherent implicits
• Taming the merge operator
• Type Inference for Rank 2 Gradual Intersection Types
• A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
• Applicative intersection types
• Type-directed operational semantics for gradual typing

This page was built for publication: The coherence of languages with intersection types

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