
Search the dblp DataBase
Sandra Alves:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
The Power of Linear Functions. [Citation Graph (0, 0)][DBLP] CSL, 2006, pp:119134 [Conf]
 Sandra Alves, Mário Florido
Linearization by Program Transformation. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:160175 [Conf]
 Sandra Alves, Mário Florido
Type Inference using Constraint Handling Rules. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp: [Journal]
 Sandra Alves, Mário Florido
Weak linearization of the lambda calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:342, n:1, pp:79103 [Journal]
 Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linear Recursive Functions. [Citation Graph (0, 0)][DBLP] Rewriting, Computation and Proof, 2007, pp:182195 [Conf]
 Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Iterator Types. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2007, pp:1731 [Conf]
 Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
The Power of Closed Reduction Strategies. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:5774 [Journal]
Linear Recursion [Citation Graph (, )][DBLP]
Minimality in a Linear Calculus with Iteration. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
