Designing and Implementing Combinator Languages (1999)

by S D Swierstra, P Azero Alocer, J Saraiva
Venue:In 3rd Advanced Functional Programming, number 1608 in LNCS