Partial evaluation by memoising functions. Unpublished note (1994)

by M Takeichi