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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.