Publisher's Synopsis
Developed at the University of Edinburgh, the HOPE programming language incorporates the strengths of traditional functional languages with many modern-language features, such as modules and strong typing which allow the user to define new data types and detect errors using program compilation. The language is being used by many research and teaching organizations worldwide, including the Imperial College Fifth Generation ALICE machine project.;This introduction to HOPE is suitable for both students and professionals in need of a new generation programming language.