HOR

201020102010

Keyphrases

Publications

2010

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

volume 49, 2010

Proceedings 5th International Workshop on Higher-Order Rewriting, HOR 2010, Edinburgh, UK, July 14, 2010. HOR 49 (2010)