Effpi: verified message-passing programs in Dotty

Alceste Scalas, Nobuko Yoshida, Elias Benussi. Effpi: verified message-passing programs in Dotty. In Jonathan Immanuel Brachthäuser, Sukyoung Ryu, Nathaniel Nystrom, editors, Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019. pages 27-31, ACM, 2019. [doi]

Abstract

Abstract is missing.