EVL: A Typed Higher-order Functional Language for Events. - Sandra Alves; Maribel Fernández; Miguel Ramos 002 (LSFA, 2020)

An ML-style record calculus with extensible records. - Sandra Alves; Miguel Ramos 002 (MFPS, 2021)

EVL: a typed functional language for event processing. - Sandra Alves; Maribel Fernández; Miguel Ramos 002 (CoRR, 2021)

Quantitative Global Memory. - Sandra Alves; Delia Kesner; Miguel Ramos 002 (WoLLIC, 2023)

Extending the Quantitative Pattern-Matching Paradigm. - Sandra Alves; Delia Kesner; Miguel Ramos 002 (APLAS, 2024)