18 citations · 34 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
EVL: a typed functional language for event processing
Sandra Alves, Maribel Fernández, Miguel Ramos
We define EVL, a minimal higher-order functional language to deal with generic events. The notion of generic event extends the well-known notion of event traditionally used in a va…
cs.LO2021★ 2 cited
An ML-style Record Calculus with Extensible Records
Sandra Alves, Miguel Ramos
In this work, we develop a polymorphic record calculus with extensible records. Extensible records are records that can have new fields added to them, or preexisting fields removed…