| 2008 |
|---|
| 8 | EE | 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) |
| 2007 |
|---|
| 7 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Iterator Types.
FoSSaCS 2007: 17-31 |
| 6 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linear Recursive Functions.
Rewriting, Computation and Proof 2007: 182-195 |
| 5 | EE | 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) |
| 2006 |
|---|
| 4 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Linear Functions.
CSL 2006: 119-134 |
| 2005 |
|---|
| 3 | EE | Sandra Alves,
Mário Florido:
Weak linearization of the lambda calculus.
Theor. Comput. Sci. 342(1): 79-103 (2005) |
| 2003 |
|---|
| 2 | EE | Sandra Alves,
Mário Florido:
Linearization by Program Transformation.
LOPSTR 2003: 160-175 |
| 2002 |
|---|
| 1 | EE | Sandra Alves,
Mário Florido:
Type Inference using Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
