Polytypic Programming in Haskell (2003) [13 citations — 1 self]
Download:
http://www.cs.chalmers.se/~ulfn/papers/polyhaskell
http://www.cs.chalmers.se/~patrikj/poly/PolyH/Nore
DBLP
CACHED:
|
http://www.cs.chalmers.se/~ulfn/papers/polyhaskell
http://www.cs.chalmers.se/~patrikj/poly/PolyH/Nore
DBLP
CACHED:
|
by
Ulf Norell
,
Patrik Jansson
In Draft proceedings of the 15th International Workshop on the Implementation of Functional Languages (IFL’03
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Norell03polytypicprogramming,
author = {Ulf Norell and Patrik Jansson},
title = {Polytypic Programming in Haskell},
booktitle = {In Draft proceedings of the 15th International Workshop on the Implementation of Functional Languages (IFL’03},
year = {2003},
pages = {168--184}
}
author = {Ulf Norell and Patrik Jansson},
title = {Polytypic Programming in Haskell},
booktitle = {In Draft proceedings of the 15th International Workshop on the Implementation of Functional Languages (IFL’03},
year = {2003},
pages = {168--184}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
A polytypic (or generic) program captures a common pattern of computation over dierent datatypes by abstracting over the structure of the datatype. Examples of algorithms that can be dened polytypically are equality tests, mapping functions and pretty printers.
Citations
| 147 | Polyp - a polytypic programming language extension – Jansson, Jeuring - 1997 |
| 104 | Derivable Type Classes – Hinze, Jones - 2001 |
| 88 | Template metaprogramming for Haskell – Sheard, Jones - 2002 |
| 51 | Generic haskell: practice and theory – Hinze, Jeuring - 2003 |
| 45 | A Generic Programming Extension for Clean – Alimarine, Plasmeijer - 2002 |
| 18 | The functional imperative: shape – Jay, Steckler - 1998 |
| 12 | PolyLib – a polytypic function library – Jansson, Jeuring - 1998 |
| 12 | A framework for polytypic programming on terms, with an application to rewriting – Jansson, Jeuring - 2000 |
| 10 | Generic polymorphism in ML – Furuse - 2001 |
| 5 | The WWW home page for polytypic programming. Available from http://www.cs.chalmers.se/~patrikj/poly – Jansson - 2001 |
| 4 | Scrap your boilerplate: a practical design pattern for generic programming – Lmmel, Jones - 2003 |
| 3 | Functional generic programming and type theory – Norell - 2002 |
| 1 | Generic haskell, specically – Clarke, Lh - 2003 |
