55 BRICS Report Series Publications RS-97-7 RS-97-6 RS-97-5 RS-97-4 RS-97-3 RS-97-2 RS-97-1 John Hatcliff and Olivier Danvy. Thunks and the λ-Calculus (Extended Version (1993)

by Carolyn L Talcott, editor
Venue:Special issue on continuations, LISPand Symbolic Computation