Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library.

Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson

Browse the full ECOOP paper archive.