Sound Evaluation of Parallel Functional Programs with First-Class Continuations (1994)

by L Moreau