| scholarly article | Q13442814 |
| P8978 | DBLP publication ID | journals/jlp/Lammel03 |
| P356 | DOI | 10.1016/S1567-8326(02)00028-0 |
| P894 | zbMATH Open document ID | 1026.68076 |
| P50 | author | Ralf Lämmel | Q28009024 |
| P2860 | cites work | A Survey of Rewriting Strategies in Program Transformation Systems | Q59780458 |
| Fusing Logic and Control with Local Transformations | Q59780459 | ||
| A Core Language for Rewriting | Q59780466 | ||
| How to make ad-hoc polymorphism less ad hoc | Q54261730 | ||
| On understanding types, data abstraction, and polymorphism | Q55872704 | ||
| A theory of type polymorphism in programming | Q55881388 | ||
| A Calculus for Overloaded Functions with Subtyping | Q56145254 | ||
| Dynamic typing in a statically typed language | Q56982265 | ||
| A higher-order implementation of rewriting | Q57382757 | ||
| Generic type-preserving traversal strategies | Q57400624 | ||
| CASL: the Common Algebraic Specification Language | Q57783499 | ||
| A functional theory of exceptions | Q59447202 | ||
| P433 | issue | 1-2 | |
| P6104 | maintained by WikiProject | WikiProject Mathematics | Q8487137 |
| P304 | page(s) | 1-64 | |
| P577 | publication date | 2003-01-01 | |
| P1433 | published in | The Journal of Logic and Algebraic Programming | Q7743597 |
| P1476 | title | Typed generic traversal with term rewriting strategies | |
| P478 | volume | 54 |
Search more.