18 citations · 34 across the 5 of their papers we have counts for
5 papers
Quantitative Global Memory
Sandra Alves, Delia Kesner, Miguel Ramos
We show that recent approaches of static analysis based on quantitative typing systems can be extended to programming languages with global state. More precisely, we define a call-…
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…
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…
AngularJS Performance: A Survey Study
Miguel Ramos, Marco Tulio Valente, Ricardo Terra
AngularJS is a popular JavaScript MVC-based framework to construct single-page web applications. In this paper, we report the results of a survey with 95 professional developers ab…
AngularJS in the Wild: A Survey with 460 Developers
Miguel Ramos, Marco Tulio Valente, Ricardo Terra +1
To implement modern web applications, a new family of JavaScript frameworks has emerged, using the MVC pattern. Among these frameworks, the most popular one is AngularJS, which is…