Sandra Alves

Orcid: 0000-0001-8840-5587

Affiliations:
  • University of Porto, Portugal


According to our database1, Sandra Alves authored at least 42 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Proceedings 13th International Workshop on Developments in Computational Models.
CoRR, 2024

Extending the Quantitative Pattern-Matching Paradigm.
CoRR, 2024

2023
Quantitative Global Memory.
Proceedings of the Logic, Language, Information, and Computation, 2023

2022
Report on women in logic 2020 & 2021.
ACM SIGLOG News, 2022

Linear Rank Intersection Types.
Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

Quantitative Weak Linearisation.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Structural Rules and Algebraic Properties of Intersection Types.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021
Preface to special issue: LSFA 2017 and 2018.
Math. Struct. Comput. Sci., 2021

A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations.
CoRR, 2021

EVL: a typed functional language for event processing.
CoRR, 2021

An ML-style record calculus with extensible records.
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2020
EVL: A Typed Higher-order Functional Language for Events.
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019
A Quantitative Understanding of Pattern Matching.
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

2018
Preface to special issue: LINEARITY 2014.
Math. Struct. Comput. Sci., 2018

Pattern-based calculi with finitary matching.
Log. J. IGPL, 2018

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types.
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

A Unifying Framework for Type Inhabitation.
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017
A graph-based framework for the analysis of access control policies.
Theor. Comput. Sci., 2017

Preface.
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Inhabitation machines: determinism and principality.
Proceedings of the Ninth Workshop on Non-Classical Models of Automata and Applications, 2017

2016
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction.
ACM SIGLOG News, 2016

The G-ACM Tool: using the Drools Rule Engine for Access Control Management.
CoRR, 2016

2015
A short note on type-inhabitation: Formula-trees vs. game semantics.
Inf. Process. Lett., 2015

A Typed Language for Events.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014
Linearity: A Roadmap.
J. Log. Comput., 2014

A Framework for the Analysis of Access Control Policies with Emergency Management.
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Liquid Intersection Types.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2011
A new graphical calculus of proofs
Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

Linearity and recursion in a typed Lambda-calculus.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010
Gödel's system tau revisited.
Theor. Comput. Sci., 2010

Linearity and iterator types for Gödel's System.
High. Order Symb. Comput., 2010

Linear Recursion
CoRR, 2010

2007
Minimality in a Linear Calculus with Iteration.
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Iterator Types.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Linear Recursive Functions.
Proceedings of the Rewriting, 2007

2006
The Power of Closed Reduction Strategies.
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

The Power of Linear Functions.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005
Weak linearization of the lambda calculus.
Theor. Comput. Sci., 2005

2003
Linearization by Program Transformation.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002
On the Relation between Rank 2 Intersection Types and Simple Types.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001
Type Inference using Constraint Handling Rules.
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001


  Loading...