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.

Abstract

Abstract is missing.