Principal types and unification for simple intersection type systems
From MaRDI portal
Publication:1900315
DOI10.1006/inco.1995.1141zbMath0834.68063MaRDI QIDQ1900315
Publication date: 30 October 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1141
68Q45: Formal languages and automata
Related Items
Uses Software