2 search results - page 1 / 1 » Bending the Rules: Steps Toward Semantically Enriched Graphi... |
234
click to vote
POPL
2003
ACM
16 years 3 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...