Functional programming language, very small, strongly algebraically typed.
See it's website http://www.soi.city.ac.uk/~ross/Hope/ or read the book, published a little while back.
Functional Programming, Antony J. Field, Peter G. Harrison, Addisow-Wesley, 1988, ISBN: 0-201-19249-7