ML pattern match compilation and partial evaluation (1996)

by P Sestoft
Venue:Dagstuhl Seminar on Partial Evaluation, volume 1110 of LNCS