Complexity of Type Inference
From MaRDI portal
Publication:3000286
DOI10.3233/FI-2010-329zbMath1231.03013OpenAlexW1580190102MaRDI QIDQ3000286
Publication date: 18 May 2011
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2010-329
Analysis of algorithms and problem complexity (68Q25) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)
This page was built for publication: Complexity of Type Inference