The coherence of languages with intersection types

DOI10.1007/3-540-54415-1_70zbMath1493.68061OpenAlexW32825566MaRDI QIDQ5096244

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)

Related Items (8)

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 ⋮ Disjoint Polymorphism ⋮ Proving correctness of a compiler using step-indexed logical relations ⋮ COCHIS: Stable and coherent implicits ⋮ Unnamed Item ⋮ Taming the Merge Operator

Cites Work

• Unnamed Item
• Unnamed Item
• Inheritance as implicit coercion
• Functional Characters of Solvable Terms

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