Sound Rules for Parallel Evaluation of a Functional Language with callcc (1993)

by Luc Moreau, Daniel Ribbens
Venue:In ACM conference on Functional Programming and Computer Architecture (FPCA'93