Login / Signup

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

Kasper SvendsenLars BirkedalMatthew J. Parkinson
Published in: ECOOP (2013)
Keyphrases