Skip to content. | Skip to navigation

Programming Tools Group

Sections

Personal tools

Log in

You are here: Home → Members → Oege de Moor → Publications → Oege de Moor's publications on higher-order matching

News: New editor of Science of Computer Programming 2008-05-23; Ralf Laemmel on the Expression Lemma 2008-05-15; Visit by Guy Steele and Richard Gabriel 2008-05-15; Two papers at OOPSLA 2008 2008-05-15; abc paper at POPL 2007 2006-09-14; More news…

Document Actions

Oege de Moor's publications on higher-order matching

Mechanising fusion (FOP 2003)
Higher-order matching for automatically applying fusion transformations (PADO 01)
Higher-order matching for program transformation (TCS 2001)
Higher-order matching for program transformation (FLOPS 1999)
Generic program transformation (AFP 1999)

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: