Coherent explicit dictionary application for Haskell
- 17 September 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (7), 81-93
- https://doi.org/10.1145/3299711.3242752
Abstract
No abstract availableKeywords
Funding Information
- Agentschap voor Innovatie door Wetenschap en Technologie (141476)
This publication has 13 references indexed in Scilit:
- Lightweight, flexible object-oriented genericsPublished by Association for Computing Machinery (ACM) ,2015
- The implicit calculusPublished by Association for Computing Machinery (ACM) ,2012
- On the bright side of type classesPublished by Association for Computing Machinery (ACM) ,2011
- OutsideIn(X)Modular type inference with local assumptionsJournal of Functional Programming, 2011
- Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)Science of Computer Programming, 2011
- Type classes as objects and implicitsPublished by Association for Computing Machinery (ACM) ,2010
- First-Class Type ClassesLecture Notes in Computer Science, 2008
- Associated type synonymsPublished by Association for Computing Machinery (ACM) ,2005
- Functional pearlPublished by Association for Computing Machinery (ACM) ,2004
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989