Sandra Alves

Available identifiers

zbMath Open alves.sandraMaRDI QIDQ530850

List of research outcomes

Publication	Date of Publication	Type
An ML-style record calculus with extensible records	2024-12-17	Paper
Linear rank intersection types	2024-11-26	Paper
Quantitative global memory	2024-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q6079229	2023-10-27	Paper
Structural rules and algebraic properties of intersection types	2023-07-28	Paper
Quantitative weak linearisation	2023-07-28	Paper
Pattern-based calculi with finitary matching	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4993331	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4964705	2021-03-03	Paper
\texttt{EVL}: a typed higher-order functional language for events	2021-02-22	Paper
Pre-grammars and inhabitation for a subset of rank 2 intersection types	2019-11-13	Paper
A graph-based framework for the analysis of access control policies	2017-06-15	Paper
A framework for the analysis of access control policies with emergency management	2016-08-01	Paper
A Typed Language for Events	2016-02-05	Paper
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics	2015-10-02	Paper
Linearity: A Roadmap	2015-01-12	Paper
Minimality in a linear calculus with iteration	2014-01-24	Paper
The power of closed reduction strategies	2013-12-06	Paper
Type inference using constraint handling rules	2013-07-24	Paper
Linearity and iterator types for Gödel's system \(\mathcal T\)	2012-01-13	Paper
Gödel's system \(\mathcal T\) revisited	2010-03-29	Paper
The Power of Linear Functions	2009-03-12	Paper
Linear Recursive Functions	2009-03-06	Paper
Iterator Types	2007-09-07	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Weak linearization of the lambda calculus	2005-09-22	Paper

Research outcomes over time

This page was built for person: Sandra Alves