Semantic subtyping

DOI10.1145/1391289.1391293zbMath1325.68136OpenAlexW1988897846MaRDI QIDQ3452185

Alain Frisch, Giuseppe Castagna, Véronique Benzaken

Publication date: 11 November 2015

Published in: Journal of the ACM (Search for Journal in Brave)

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

zbMATH Keywords

intersection typessubtypinghigher-order functionsunion typesnegation types

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (19)

On projecting processes into session types ⋮ Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types ⋮ Semantic subtyping with an SMT solver ⋮ The Recursive Union of Some Gradual Types ⋮ Unnamed Item ⋮ Backward type inference for XML queries ⋮ Type Inference for Rank 2 Gradual Intersection Types ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Polarized subtyping ⋮ Applicative intersection types ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ Unnamed Item ⋮ A typed lambda calculus with intersection types ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Judgmental subtyping systems with intersection types and modal types ⋮ The Relevance of Semantic Subtyping ⋮ The Better Bubbling Lemma

This page was built for publication: Semantic subtyping