Typing first-class patterns (2006)
by
Barry Jay
| Venue: | In Higher-Order Rewriting, proceedings |
| Citations: | 14 - 5 self |
BibTeX
@INPROCEEDINGS{Jay06typingfirst-class,
author = {Barry Jay},
title = {Typing first-class patterns},
booktitle = {In Higher-Order Rewriting, proceedings},
year = {2006}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This extended abstract describes a small typed pattern calculus that is able to support four styles of polymorphism, namely, data (or parametric) polymorphism [6], structure polymorphism [4], path polymorphism and pattern polymorphism [3] (examples below). These combine to support generic queries, able to
Citations
| 332 | Types, abstraction and parametric polymorphism - Reynolds - 1983 |
| 62 | The pattern calculus - Jay |
| 7 | Programming with heterogeneous structures: Manipulating xml data using bondi - Huang, Jay, et al. - 2006 |
| 3 | A relational account of objects - Murdaca, Jay - 2006 |
