Sandra Alves
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2003–2024
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | APLAS | Extending the Quantitative Pattern-Matching Paradigm. | Sandra Alves, Delia Kesner, Miguel Ramos |
| 2023 | WoLLIC | Quantitative Global Memory. | Sandra Alves, Delia Kesner, Miguel Ramos |
| 2022 | ICTAC | Structural Rules and Algebraic Properties of Intersection Types. | Sandra Alves, Mrio Florido |
| 2022 | ICTAC | Quantitative Weak Linearisation. | Sandra Alves, Daniel Ventura |
| 2015 | LOPSTR | A Typed Language for Events. | Sandra Alves, Sabine Broda, Maribel Fernndez |
| 2014 | LOPSTR | Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. | Sandra Alves, Anatoli Degtyarev, Maribel Fernndez |
| 2011 | PPDP | Linearity and recursion in a typed Lambda-calculus. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2007 | FOSSACS | Iterator Types. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2006 | CSL | The Power of Linear Functions. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2003 | LOPSTR | Linearization by Program Transformation. | Sandra Alves, Mrio Florido |