HOPE: An experimental applicative language (1980)

by R M Burstall, D D MacQueen, D T Sannella
Venue:Conference Record of the 1980 LISP Conference