HOR 2014 WORKSHOP PROCEEDINGS

Editor: Kristoffer Rose

Authors	Title	Paper	Talk
Vincent van Oostrom and Femke van Raamsdonk	The dynamic pattern calculus as a higher-order pattern rewriting system		Jul 12 08:45
Beniamino Accattoli, Pablo Barenbaum and Damiano Mazza	Distilling Abstract Machines (Extended Abstract)		Jul 12 09:15
Kristoffer Rose	Experience with Higher Order Rewriting from the Compiler Teaching Trenches		Jul 12 09:45
Cynthia Kop	The Higher-Order Dependency Pair Framework		Jul 12 10:45
Vincent Van Oostrom	Feebly not weakly		Jul 12 11:15