EPTCS 49 - HOR 2010
Eduardo Bonelli (Ed.): Proceedings 5th International Workshop on Higher-Order Rewriting. 2010 EPTCS 49 [ contents ]- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team