The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations.

Luc Moreau

Browse the full ESOP paper archive.