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.

Authors

Luc Moreau

This author has not been identified. Look up 'Luc Moreau' in Google

Daniel Ribbens

This author has not been identified. Look up 'Daniel Ribbens' in Google