Tags: Programming Language.
Hope is a small functional programming language developed in the 1970s at Edinburgh University. It predates Miranda and Haskell and is contemporaneous with ML (also developed at Edinburgh). Hope was derived from NPL a simple functional language developed by Burstall and Darlington in their work on program transformation. NPL was in turn derived from Kleene Recursion Equations.