The intersection type unification problem

DOI10.4230/LIPICS.FSCD.2016.19MaRDI QIDQ5369484zbMATH OpenFDO

Authors Andrej Dudenhefner, Moritz Martens, Jakob Rehof

Publication date 17 October 2017

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2016.19

zbMATH Keywords

complexityequational theoryintersection typetilingunification

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Applications of game theory (91A80)

Recommendations

• The algebraic intersection type unification problem
• The Inhabitation Problem for Rank Two Intersection Types
• Intersection type matching with subtyping
• Inhabitation of Low-Rank Intersection Types
• The emptiness problem for intersection types

Cited in

(9)

• The ``relevance of intersection and union types
• Intersection-types à la Church
• The Inhabitation Problem for Rank Two Intersection Types
• Inhabitation in Intersection and Union Type Assignment Systems
• scientific article; zbMATH DE number 6744146 (Why is no real title available?)
• Intersection type matching with subtyping
• The algebraic intersection type unification problem
• Type Preservation as a Confluence Problem
• A type checker for a logical framework with union and intersection types (system description)

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

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