Hope+

Alvey Flagship project, Imperial College. An extension of Hope with real numbers, vectors, call-by-WHNF.

"Hope+", N. Perry, Imperial College, IC/FPR/LANG/2.5.1/7, 1988.