Type inference for pure type systems
From MaRDI portal
Publication:1271309
DOI10.1006/inco.1998.2708zbMath0936.68069OpenAlexW1977621403MaRDI QIDQ1271309
Publication date: 11 November 1998
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1998.2708
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Type inference for pure type systems