Sound Rules for Parallel Evaluation of a Functional Language with callcc

Luc Moreau, Daniel Ribbens. Sound Rules for Parallel Evaluation of a Functional Language with callcc. In FPCA. pages 125-135, 1993.

No reviews for this publication, yet.