2 search results - page 1 / 1 » Bending the Rules: Steps Toward Semantically Enriched Graphi... |
VL
1995
IEEE
13 years 8 months ago
1995
IEEE
POPL
2003
ACM
14 years 5 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...