Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages (1991)

by D A Smith
Venue:in PEPM’91, Proc. of the ACM Symposium on Partial Evaluation and Semantics-Based Program Transformation; SIGPLAN Notices