Type-directed partial evaluation in Haskell (1998)

by K Rose
Venue:Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation, number NS-98-1 in BRICS Notes