Intersection type matching with subtyping

DOI10.1007/978-3-642-38946-7_11MaRDI QIDQ5300898zbMATH OpenOpenAlexFDO

Authors Boris Düdder, Moritz Martens, Jakob Rehof

Publication date 28 June 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-38946-7_11

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms (68W40)

Recommendations

• The intersection type unification problem
• Type inference with subtypes
• The algebraic intersection type unification problem
• The emptiness problem for intersection types
• Inhabitation of Low-Rank Intersection Types

Cited in

(6)

• Matching MyType to subtyping
• scientific article; zbMATH DE number 2087431 (Why is no real title available?)
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• scientific article; zbMATH DE number 6744146 (Why is no real title available?)
• The algebraic intersection type unification problem
• The intersection type unification problem

This page was built for publication: Intersection type matching with subtyping

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