Miguel Ramos

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Memory Requirements

Automated Deduction

Functional Language

Algebraic Structure

Top Venues

Publications

Sandra Alves, Delia Kesner, Miguel Ramos
Quantitative Global Memory. CoRR (2023)
Sandra Alves, Delia Kesner, Miguel Ramos
Quantitative Global Memory. WoLLIC (2023)
Sandra Alves, Maribel Fernández, Miguel Ramos
EVL: a typed functional language for event processing. CoRR (2021)
Sandra Alves, Miguel Ramos
An ML-style record calculus with extensible records. MFPS (2021)
Sandra Alves, Maribel Fernández, Miguel Ramos
EVL: A Typed Higher-order Functional Language for Events. LSFA (2020)