EPTCS 49 - HOR 2010

Eduardo Bonelli (Ed.): Proceedings 5th International Workshop on Higher-Order Rewriting. EPTCS 49 2010

Ariel Mendelzon, Alejandro Ríos, Beta Ziliani:
Swapping: a natural bridge between named and indexed explicit substitution calculi. 1-15
Thibaut Balabonski:
On the Implementation of Dynamic Patterns. 16-30
Kristoffer H. Rose:
Higher-order Rewriting for Executable Compiler Specifications. 31-45
Harald Zankl, Nao Hirokawa, Aart Middeldorp:
Uncurrying for Innermost Termination and Derivational Complexity. 46-57
Delia Kesner, Carlos Lombardi, Alejandro Ríos:
A standardisation proof for algebraic pattern calculi. 58-72

Last update Thu May 23 16:17:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page