Generic programming of all kinds
- 17 September 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (7), 41-54
- https://doi.org/10.1145/3299711.3242745
Abstract
No abstract availableKeywords
Funding Information
- Nederlandse Organisatie voor Wetenschappelijk Onderzoek (612 001 401)
This publication has 22 references indexed in Scilit:
- Partial Type Signatures for HaskellLecture Notes in Computer Science, 2014
- Generic Generic ProgrammingLecture Notes in Computer Science, 2014
- System FC with explicit kind equalityACM SIGPLAN Notices, 2013
- A Formal Comparison of Approaches to Datatype-Generic ProgrammingElectronic Proceedings in Theoretical Computer Science, 2012
- Giving Haskell a promotionPublished by Association for Computing Machinery (ACM) ,2012
- Generic programming for indexed datatypesPublished by Association for Computing Machinery (ACM) ,2011
- Strongly Typed Term Representations in CoqJournal of Automated Reasoning, 2011
- Generic programming with fixed points for mutually recursive datatypesPublished by Association for Computing Machinery (ACM) ,2009
- Generic Programming with Dependent TypesLecture Notes in Computer Science, 2007
- Template meta-programming for HaskellPublished by Association for Computing Machinery (ACM) ,2002