An analytical approach to programs as data objects (2006)

by O Danvy