The algebraic intersection type unification problem

DOI10.23638/LMCS-13(3:9)2017MaRDI QIDQ5367047zbMATH OpenFDO

Authors Andrej Dudenhefner, Moritz Martens, Jakob Rehof

Publication date 12 October 2017

Full work available at URL https://arxiv.org/abs/1611.05672

zbMATH Keywords

complexityequational theoryintersection typetilingunification

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Equational classes, universal algebra in model theory (03C05) Functional programming and lambda calculus (68N18) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Applications of game theory (91A80)

Recommendations

• The intersection type unification problem
• The Inhabitation Problem for Rank Two Intersection Types
• Intersection type matching with subtyping
• The emptiness problem for intersection types
• scientific article; zbMATH DE number 4049615

Cited in

(4)

• The -calculus: syntax and types
• Intersection type matching with subtyping
• The intersection type unification problem
• Type inference for rank-2 intersection types using set unification

This page was built for publication: The algebraic intersection type unification problem

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