Deterministic parallelism via liquid effects (2012)

by M Kawaguchi, P Rondon, A Bakst, R Jhala
Venue:In Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI ’12