Sandra Alves

Available identifiers

zbMath Open alves.sandraMaRDI QIDQ530850

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sandra Alves