Sandra Alves, Maribel Fernández, Miguel Ramos 0002. EVL: A Typed Higher-order Functional Language for Events. In Cláudia Nalon, editor, Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2019. Volume 351 of Electronic Notes in Theoretical Computer Science, pages 3-23, Elsevier, 2020. [doi]
Abstract is missing.