Scrap your boilerplate
Top Cited Papers
- 18 January 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (3) , 26-37
- https://doi.org/10.1145/604174.604179
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Template meta-programming for HaskellPublished by Association for Computing Machinery (ACM) ,2002
- Higher-Order Intensional Type AnalysisPublished by Springer Nature ,2002
- Haskell and XMLPublished by Association for Computing Machinery (ACM) ,1999
- Type dispatch for named hierarchical typesPublished by Association for Computing Machinery (ACM) ,1999
- Designing and Implementing Combinator LanguagesPublished by Springer Nature ,1999
- de Bruijn notation as a nested datatypeJournal of Functional Programming, 1999
- Polytypic programmingPublished by Springer Nature ,1996
- State in HaskellHigher-Order and Symbolic Computation, 1995
- Merging monads and folds for functional programmingPublished by Springer Nature ,1995
- Type reconstruction in finite rank fragments of the second-order λ-calculusInformation and Computation, 1992