The essence of eta-expansion in partial evaluation (1995)

by Olivier Danvy , Karoline Malmkjaer , Jens Palsberg
Venue:LISP AND SYMBOLIC COMPUTATION
Citations:32 - 11 self