Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types

DOI10.1145/1391289.1391293MaRDI QIDQ3452185zbMATH OpenOpenAlexFDO

Authors 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

subtypingintersection typeshigher-order functionsunion typesnegation types

Mathematics Subject Classification ID

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

Recommendations

• Automata, Languages and Programming
• Subtyping can have a simple semantics
• scientific article; zbMATH DE number 761284
• Theoretical Computer Science
• Computer Science Logic

Cited in

(28)

• Sound and complete flow typing with unions, intersections and negations
• scientific article; zbMATH DE number 7561489 (Why is no real title available?)
• A calculus with recursive types, record concatenation and subtyping
• scientific article; zbMATH DE number 7559294 (Why is no real title available?)
• The relevance of semantic subtyping
• Precise subtyping for synchronous multiparty sessions
• The recursive union of some gradual types
• Automata, Languages and Programming
• scientific article; zbMATH DE number 1479640 (Why is no real title available?)
• Polarized subtyping
• scientific article; zbMATH DE number 7453961 (Why is no real title available?)
• Type Inference for Rank 2 Gradual Intersection Types
• Computer Science Logic
• Theoretical Computer Science
• Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
• On specifications, subset types and interpretation of proposition in type theory
• Automated Deduction – CADE-19
• On projecting processes into session types
• Judgmental subtyping systems with intersection types and modal types
• Applicative intersection types
• Precise Subtyping for Asynchronous Multiparty Sessions
• Backward type inference for XML queries
• A typed lambda calculus with intersection types
• scientific article; zbMATH DE number 7168151 (Why is no real title available?)
• Semantic subtyping with an SMT solver
• The better bubbling lemma
• Semantic subtyping with an SMT solver
• Categorical approximation fixpoint theory

This page was built for publication: Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types

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