Type Reconstruction for Type Classes
From MaRDI portal
Publication:4850163
DOI10.1017/S0956796800001325zbMath0833.68025MaRDI QIDQ4850163
Tobias Nipkow, Christian Prehofer
Publication date: 9 October 1995
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N15: Theory of programming languages
Related Items
<scp>OutsideIn(X)</scp>Modular type inference with local assumptions, Open and closed scopes for constrained genericity, Kinded type inference for parametric overloading, Type Inference using Constraint Handling Rules
Uses Software