DMCA
Typing first-class patterns (2006)
by
Barry Jay
| Venue: | In Higher-Order Rewriting, proceedings |
| Citations: | 26 - 10 self |
BibTeX
@INPROCEEDINGS{Jay06typingfirst-class,
author = {Barry Jay},
title = {Typing first-class patterns},
booktitle = {In Higher-Order Rewriting, proceedings},
year = {2006}
}
Share
 |
 |
 |
 |
||
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
