The complexity of type inference for higher-order typed lambda calculi

From MaRDI portal
Publication:4764610

DOI10.1017/S0956796800001143zbMath0827.03005OpenAlexW2112391755MaRDI QIDQ4764610

Fritz Henglein, Harry G. Mairson

Publication date: 13 December 1995

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796800001143



Related Items


Uses Software


Cites Work