Ballon Types for Safe Parallelisation over Arbitrary Object Graphs (0)

by Marco Servetto, David J Pearce, Lindsay Groves, Alex Potanin
Venue:In Workshop on Determinism and Correctness in Parallel Programming (WoDet), 2013. Cited on