Hope

"springs eternal" and so forth.

Rod M. Burstall, University of Edinburgh, 1978

A functional language with polymorphic types and lazy lists. Hope was the first language to use call-by-pattern.

"HOPE, an Experimental Applicative Language", Rod M. Burstall et al, Conference Record 1980 LISP Conference, p.136-143 (Aug 1980)

"A HOPE Tutorial", Roger Bailey, BYTE Aug 1985, pp.235-258.

"Functional Programming with Hope", Roger Bailey, Ellis Horwood, 1990.