Nick Webster, Marco Servetto, Michael Homer. Using Functional Reactive Programming to Define Safe Actor Systems. In Henrique Rebêlo, editor, Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022. pages 4-10, ACM, 2022. [doi]
Abstract is missing.