default search action
Sandra Alves
Person information
- affiliation: University of Porto, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c26]Sandra Alves, Delia Kesner, Miguel Ramos:
Extending the Quantitative Pattern-Matching Paradigm. APLAS 2024: 84-105 - [e7]Sandra Alves, Jesper Cockx:
Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024. ACM 2024, ISBN 979-8-4007-1103-9 [contents] - [e6]Sandra Alves, Ian Mackie:
Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023. EPTCS 408, 2024 [contents] - [i9]Sandra Alves, Delia Kesner, Miguel Ramos:
Extending the Quantitative Pattern-Matching Paradigm. CoRR abs/2408.11007 (2024) - 2023
- [c25]Sandra Alves, Delia Kesner, Miguel Ramos:
Quantitative Global Memory. WoLLIC 2023: 53-68 - [i8]Sandra Alves, Delia Kesner, Miguel Ramos:
Quantitative Global Memory. CoRR abs/2303.08940 (2023) - 2022
- [j11]Sandra Alves, Sandra Kiefer, Ana Sokolova:
Report on women in logic 2020 & 2021. ACM SIGLOG News 9(2): 31-33 (2022) - [c24]Sandra Alves, Mário Florido
:
Structural Rules and Algebraic Properties of Intersection Types. ICTAC 2022: 60-77 - [c23]Sandra Alves
Quantitative Weak Linearisation. ICTAC 2022: 78-95 - [c22]Fábio Reis, Sandra Alves, Mário Florido
Linear Rank Intersection Types. TYPES 2022: 8:1-8:21 - [i7]Sandra Alves, Mário Florido:
Structural Rules and Algebraic Properties of Intersection Types. CoRR abs/2204.12376 (2022) - [i6]Fábio Reis, Sandra Alves, Mário Florido:
Linear Rank Intersection Types. CoRR abs/2211.17186 (2022) - 2021
- [j10]Sandra Alves
Preface to special issue: LSFA 2017 and 2018. Math. Struct. Comput. Sci. 31(3): 255-256 (2021) - [c21]Sandra Alves, Miguel Ramos
An ML-style record calculus with extensible records. MFPS 2021: 1-17 - [i5]Sandra Alves, Maribel Fernández, Miguel Ramos:
EVL: a typed functional language for event processing. CoRR abs/2109.08960 (2021) - [i4]Sandra Alves, Jorge Iglésias:
A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations. CoRR abs/2111.00588 (2021) - 2020
- [c20]Sandra Alves, Maribel Fernández, Miguel Ramos
EVL: A Typed Higher-order Functional Language for Events. LSFA 2020: 3-23
2010 – 2019
- 2019
- [c19]Sandra Alves, Delia Kesner, Daniel Ventura:
A Quantitative Understanding of Pattern Matching. TYPES 2019: 3:1-3:36 - [e5]Michele Pagani, Sandra Alves:
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. EPTCS 293, 2019 [contents] - [i3]Sandra Alves, Delia Kesner, Daniel Ventura:
A Quantitative Understanding of Pattern Matching. CoRR abs/1912.01914 (2019) - 2018
- [j9]Sandra Alves, Besik Dundua, Mário Florido
Pattern-based calculi with finitary matching. Log. J. IGPL 26(2): 203-243 (2018) - [j8]Sandra Alves, Iliano Cervesato:
Preface to special issue: LINEARITY 2014. Math. Struct. Comput. Sci. 28(5): 612-613 (2018) - [c18]Sandra Alves, Sabine Broda:
A Unifying Framework for Type Inhabitation. FSCD 2018: 5:1-5:16 - [c17]Sandra Alves, Sabine Broda
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types. LSFA 2018: 25-45 - [e4]Sandra Alves, Renata Wasserman:
12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017. Electronic Notes in Theoretical Computer Science 338, Elsevier 2018 [contents] - 2017
- [j7]Sandra Alves
A graph-based framework for the analysis of access control policies. Theor. Comput. Sci. 685: 3-22 (2017) - [c16]Sandra Alves, Sabine Broda:
Inhabitation machines: determinism and principality. NCMA 2017: 57-70 - [c15]Sandra Alves, Renata Wasserman:
Preface. LSFA 2017: 1-2 - 2016
- [j6]Sandra Alves:
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. ACM SIGLOG News 3(4): 50-54 (2016) - [e3]Gilles Dowek, Daniel R. Licata, Sandra Alves:
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016. ACM 2016, ISBN 978-1-4503-4777-8 [contents] - [i2]João Sá, Sandra Alves, Sabine Broda
The G-ACM Tool: using the Drools Rule Engine for Access Control Management. CoRR abs/1611.08547 (2016) - 2015
- [j5]Sandra Alves
A short note on type-inhabitation: Formula-trees vs. game semantics. Inf. Process. Lett. 115(11): 908-911 (2015) - [c14]Sandra Alves
A Typed Language for Events. LOPSTR 2015: 107-123 - [e2]Sandra Alves, Iliano Cervesato:
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. EPTCS 176, 2015 [contents] - 2014
- [j4]Sandra Alves
Linearity: A Roadmap. J. Log. Comput. 24(3): 513-529 (2014) - [c13]Sandra Alves
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR 2014: 148-163 - [c12]Mário Pereira
Liquid Intersection Types. ITRS 2014: 24-42 - [c11]Sandra Alves
A Framework for the Analysis of Access Control Policies with Emergency Management. LSFA 2014: 89-105 - 2012
- [e1]Sandra Alves, Ian Mackie:
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. EPTCS 101, 2012 [contents] - 2011
- [c10]Sandra Alves
Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182 - [c9]Sandra Alves
A new graphical calculus of proofs. TERMGRAPH 2011: 69-84 - 2010
- [j3]Sandra Alves
Linearity and iterator types for Gödel's System. High. Order Symb. Comput. 23(1): 1-27 (2010) - [j2]Sandra Alves
Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010) - [i1]Sandra Alves, Maribel Fernández, Mário Florido
Linear Recursion. CoRR abs/1001.3368 (2010)
2000 – 2009
- 2007
- [c8]Sandra Alves
Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195 - [c7]Sandra Alves, Maribel Fernández, Mário Florido
Iterator Types. FoSSaCS 2007: 17-31 - [c6]Sandra Alves
Minimality in a Linear Calculus with Iteration. WRS@RDP 2007: 163-179 - 2006
- [c5]Sandra Alves
The Power of Linear Functions. CSL 2006: 119-134 - [c4]Sandra Alves
The Power of Closed Reduction Strategies. WRS@FLoC 2006: 57-74 - 2005
- [j1]Sandra Alves
Weak linearization of the lambda calculus. Theor. Comput. Sci. 342(1): 79-103 (2005) - 2003
- [c3]Sandra Alves
Linearization by Program Transformation. LOPSTR 2003: 160-175 - 2002
- [c2]Sandra Alves, Mário Florido:
On the Relation between Rank 2 Intersection Types and Simple Types. APPIA-GULP-PRODE 2002: 259-274 - 2001
- [c1]Sandra Alves
Type Inference using Constraint Handling Rules. WFLP 2001: 56-72
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 22:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: