First-class rules and generic traversal (2001)

by Eelco Dolstra, Eelco Visser