9 citations · 21 across the 13 of their papers we have counts for
14 papers
Linearising Explicit Substitutions using Intersection Types
Ana Jorge Almeida, Sandra Alves, Mário Florido
Term expansion was originally introduced in 2004 as a way to relate terms typed in an intersection type system with linear terms. Recently, new applications of term expansion inclu…
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-…
Linear Rank Intersection Types
Fábio Reis, Sandra Alves, Mário Florido
Non-idempotent intersection types provide quantitative information about typed programs, and have been used to obtain time and space complexity measures. Intersection type systems…
Structural Rules and Algebraic Properties of Intersection Types
Sandra Alves, Mário Florido
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection ty…
A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
Sandra Alves, Jorge Iglésias
We design a graph-based framework for the visualisation and analysis of obligations in access control policies. We consider obligation policies in CBACO, the category-based access…
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…