A formal semantics of patterns (1999)

by Philip Wadler
Venue:in XSLT, Markup technologies