William Gallard Hatch, Matthew Flatt. Rash: from reckless interactions to reliable programs. In Eric {Van Wyk}, Tiark Rompf, editors, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018. pages 28-39, ACM, 2018. [doi]
Abstract is missing.