Intersection Type Matching with Subtyping

DOI10.1007/978-3-642-38946-7_11zbMath1381.68033OpenAlexW1880804819MaRDI QIDQ5300898

Boris Düdder, Jakob Rehof, Moritz Martens

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

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

This page was built for publication: Intersection Type Matching with Subtyping