Yuheng Long , Hridesh Rajan. A type-and-effect system for asynchronous, typed events. In Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki, editors, Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, Málaga, Spain, March 14 - 18, 2016. pages 42-53, ACM, 2016. [doi]
Abstract is missing.