HOPE: an experimental applicative language (1980)

by R Burstall, D MacQueen, D Sannella
Venue:Proceedings 1980 LISP Conference