Hope: An Experimental Applicative Language (1980)

by R. M. Burstall, D. B. MacQueen, D. T. Sannella