Designing and Implementing Combinator Languages (1999)

by D Swierstra, P Azero, J Saraiva
Venue:3rd Summer School on Adv. Funct. Programming. Volume 1608 of LNCS Tutorial