Design and Implementation of Concurrent C0. - Max Willsey; Rokhini Prabhu; Frank Pfenning (LINEARITY, 2016)