Efficient parallel programming in Poly/ML and Isabelle/ML.

David C. J. Matthews, Makarius Wenzel

Browse the full POPL paper archive.