Ross Paterson
This manual is not a tutorial on functional programming, or on the language HOPE. If you don't know about both, you might start with something like Roger Bailey's tutorial [1].