SequenceL: transparency and multi-core parallelisms.

Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton

Browse the full POPL paper archive.