Typed Combinators for Generic Traversal (2002)
Cached
Download Links
- [www.cwi.nl]
- [www.cwi.nl]
- [www.cwi.nl]
- [www.cwi.nl]
- [www.cwi.nl]
- DBLP
Other Repositories/Bibliography
by
Ralf Lämmel
,
Joost Visser
| Venue: | Proc. of PADL 2002 |
| Citations: | 41 - 16 self |
BibTeX
@INPROCEEDINGS{Lämmel02typedcombinators,
author = {Ralf Lämmel and Joost Visser},
title = {Typed Combinators for Generic Traversal},
booktitle = {Proc. of PADL 2002},
year = {2002},
pages = {137--154},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Lacking support for generic traversal, functional programming languages suffer from a scalability problem when applied to largescale program transformation problems. As a solution, we introduce functional strategies: typeful generic functions that not only can be applied to terms of any type, but which also allow generic traversal into subterms.
