Extending the Quantitative Pattern-Matching Paradigm. - Alves, Sandra; Kesner, Delia; Ramos, Miguel (2024)

Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024 (ACM, 2024)

Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023. (2024)

Extending the Quantitative Pattern-Matching Paradigm. - Alves, Sandra; Kesner, Delia; Ramos, Miguel (CoRR, 2024)

Quantitative Global Memory. - Alves, Sandra; Kesner, Delia; Ramos, Miguel (2023)

Quantitative Global Memory. - Alves, Sandra; Kesner, Delia; Ramos, Miguel (CoRR, 2023)

Report on women in logic 2020 & 2021. - Alves, Sandra; Kiefer, Sandra; Sokolova, Ana (ACM SIGLOG News, 2022)

Structural Rules and Algebraic Properties of Intersection Types. - Alves, Sandra; Florido, Mário (2022)

Quantitative Weak Linearisation. - Alves, Sandra; Ventura, Daniel (2022)

Linear Rank Intersection Types. - Reis, Fábio; Alves, Sandra; Florido, Mário (2022)

Structural Rules and Algebraic Properties of Intersection Types. - Alves, Sandra; Florido, Mário (CoRR, 2022)

Linear Rank Intersection Types. - Reis, Fábio; Alves, Sandra; Florido, Mário (CoRR, 2022)

Preface to special issue: LSFA 2017 and 2018. - Alves, Sandra; Wassermann, Renata (Math. Struct. Comput. Sci., 2021)

An ML-style record calculus with extensible records. - Alves, Sandra; Ramos, Miguel (2021)

EVL: a typed functional language for event processing. - Alves, Sandra; Fernández, Maribel; Ramos, Miguel (CoRR, 2021)

A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations. - Alves, Sandra; Iglésias, Jorge (CoRR, 2021)

EVL: A Typed Higher-order Functional Language for Events. - Alves, Sandra; Fernández, Maribel; Ramos, Miguel (2020)

A Quantitative Understanding of Pattern Matching. - Alves, Sandra; Kesner, Delia; Ventura, Daniel (2019)

Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. (2019)

A Quantitative Understanding of Pattern Matching. - Alves, Sandra; Kesner, Delia; Ventura, Daniel (CoRR, 2019)

Pattern-based calculi with finitary matching. - Alves, Sandra; Dundua, Besik; Florido, Mário; Kutsia, Temur (Log. J. IGPL, 2018)

Preface to special issue: LINEARITY 2014. - Alves, Sandra; Cervesato, Iliano (Math. Struct. Comput. Sci., 2018)

A Unifying Framework for Type Inhabitation. - Alves, Sandra; Broda, Sabine (2018)

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types. - Alves, Sandra; Broda, Sabine (2018)

12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017 (Elsevier, 2018)

A graph-based framework for the analysis of access control policies. - Alves, Sandra; Fernández, Maribel (Theor. Comput. Sci., 2017)

Inhabitation machines: determinism and principality. - Alves, Sandra; Broda, Sabine (2017)

Preface. - Alves, Sandra; Wasserman, Renata (2017)

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

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016 (ACM, 2016)

The G-ACM Tool: using the Drools Rule Engine for Access Control Management. - Sá, João; Alves, Sandra; Broda, Sabine (CoRR, 2016)

A short note on type-inhabitation: Formula-trees vs. game semantics. - Alves, Sandra; Broda, Sabine (Inf. Process. Lett., 2015)

A Typed Language for Events. - Alves, Sandra; Broda, Sabine; Fernández, Maribel (2015)

Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. (2015)

Linearity: A Roadmap. - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (J. Log. Comput., 2014)

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. - Alves, Sandra; Degtyarev, Anatoli; Fernández, Maribel (2014)

Liquid Intersection Types. - Pereira, Mário; Alves, Sandra; Florido, Mário (2014)

A Framework for the Analysis of Access Control Policies with Emergency Management. - Alves, Sandra; Fernández, Maribel (2014)

Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. (2012)

Linearity and recursion in a typed Lambda-calculus. - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (2011)

A new graphical calculus of proofs - Alves, Sandra; Fernández, Maribel; Mackie, Ian (2011)

Linearity and iterator types for Gödel's System. - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (High. Order Symb. Comput., 2010)

Gödel's system tau revisited. - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (Theor. Comput. Sci., 2010)

Linear Recursion - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (CoRR, 2010)

Linear Recursive Functions. - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (2007)

Iterator Types. - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (2007)

Minimality in a Linear Calculus with Iteration. - Alves, Sandra; Florido, Mário; Mackie, Ian; Sinot, François-Régis (2007)

The Power of Linear Functions. - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (2006)

The Power of Closed Reduction Strategies. - Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian (2006)

Weak linearization of the lambda calculus. - Alves, Sandra; Florido, Mário (Theor. Comput. Sci., 2005)

Linearization by Program Transformation. - Alves, Sandra; Florido, Mário (2003)

On the Relation between Rank 2 Intersection Types and Simple Types. - Alves, Sandra; Florido, Mário (2002)

Type Inference using Constraint Handling Rules. - Alves, Sandra; Florido, Mário (2001)