Partial evaluation of pattern matching in constraint logic programming languages (1991)

by D A Smith
Venue:PEPM ’91, SIGPLAN Notices