Parallel functional arrays
Computational lambda-calculus and monads