Polytypic programming (1996)
Cached
Download Links
- [www.cs.chalmers.se]
- [www.cs.uu.nl]
- [www.math.chalmers.se]
- DBLP
Other Repositories/Bibliography
| Venue: | 2nd Int. School on Advanced Functional Programming |
| Citations: | 86 - 12 self |
BibTeX
@INPROCEEDINGS{Jansson96polytypicprogramming,
author = {Patrik Jansson and Patrik Jansson},
title = {Polytypic programming},
booktitle = {2nd Int. School on Advanced Functional Programming},
year = {1996},
pages = {68--114},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
PolyP extends a functional language (a subset of Haskell) with a construct for defining polytypic functions by induction on the structure of user-defined datatypes. Programs in the extended language are translated to Haskell. PolyLib contains powerful structured recursion operators like catamorphisms, maps and traversals, as well as polytypic versions of a number of standard functions from functional programming: sum, length, zip, (==), (6), etc. Both the specification of the library and a PolyP implementation are presented.
