Modular type classes
From MaRDI portal
Publication:3189786
DOI10.1145/1190216.1190229zbMath1295.68061MaRDI QIDQ3189786
Manuel M. T. Chakravarty, Gabriele Keller, Derek R. Dreyer, Robert Harper
Publication date: 12 September 2014
Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1190216.1190229
Related Items
1ML – Core and modules united, COCHIS: Stable and coherent implicits, A language for generic programming in the large
Uses Software