Principal Type Schemes for Modular Programs
From MaRDI portal
Publication:5756513
DOI10.1007/978-3-540-71316-6_30zbMath1187.68149MaRDI QIDQ5756513
Derek R. Dreyer, Matthias Blume
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_30
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items