functional programming

Concurrent Massey Hope; full laziness; Hope+; list comprehension; Massey Hope; monad;