Functional Generic Programming and Type Theory (2002)
Cached
Download Links
- [www.cs.chalmers.se]
- [www.cs.chalmers.se]
- DBLP
Other Repositories/Bibliography
by
Ulf Norell
| Citations: | 5 - 3 self |
BibTeX
@MISC{Norell02functionalgeneric,
author = {Ulf Norell},
title = {Functional Generic Programming and Type Theory},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Functional generic programming is an area of research concerning programs parameterized by types. Such parameterization is a powerful method of abstraction that allows the programmer to dene and reuse common patterns of computation that work over many dierent datatypes.
