Implementing memoization for partial evaluation (1996)

by Peter Thiemann
Venue:In Herbert Kuchen and Doaitse Swierstra, editors, International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP '96