Type classes with existential types
From MaRDI portal
Publication:5687911
DOI10.1017/S0956796800001817zbMath0860.68024MaRDI QIDQ5687911
Publication date: 16 December 1996
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N15: Theory of programming languages
Related Items
HasCasl: integrated higher-order specification and program development, On the decidability of subtyping with bounded existential types and implementation constraints
Uses Software
Cites Work