Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely. Types for relaxed memory models. In Benjamin C. Pierce, editor, Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012. pages 25-38, ACM, 2012. [doi]
Abstract is missing.