Sandra Alves (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8		Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot: Minimality in a Linear Calculus with Iteration. Electr. Notes Theor. Comput. Sci. 204: 163-179 (2008)
7		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Iterator Types. FoSSaCS 2007: 17-31
6		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
5		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Closed Reduction Strategies. Electr. Notes Theor. Comput. Sci. 174(10): 57-74 (2007)
4		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134
3		Sandra Alves, Mário Florido: Weak linearization of the lambda calculus. Theor. Comput. Sci. 342(1): 79-103 (2005)
2		Sandra Alves, Mário Florido: Linearization by Program Transformation. LOPSTR 2003: 160-175
1		Sandra Alves, Mário Florido: Type Inference using Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 64: (2002)

Selection of 8 from 8 records - Sandra Alves has 4 coauthors