Published: 17th February 2011
DOI: 10.4204/EPTCS.49
ISSN: 2075-2180


Proceedings 5th International Workshop on
Higher-Order Rewriting
Edinburgh, UK, July 14, 2010

Edited by: Eduardo Bonelli

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



HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress. Previous editions of HOR were held in Copenhagen - Denmark (HOR 2002), Aachen - Germany (HOR 2004), Seattle - USA (HOR 2006) and Paris - France (HOR 2007).

In addition to an interesting set of submissions, this year we had the following invited speakers to whom I would like to give thanks:

My appreciation also to the members of the PC (Zena Ariola, Frédéric Blanqui, Mariangiola Dezani-Ciancaglini and Roel de Vrijer) for lending their time and expertise, to the referees, and to Delia Kesner and Femke van Raamsdonk for providing valuable support. Thanks also to GDR-IM which awarded funds to HOR'2010 that were used for supporting presentation of papers by students.

Finally, I would like to thank the organizers of FLoC 2010 and affiliated events for contributing towards such an exciting event.

Eduardo Bonelli (Universidad Nacional de Quilmes)