Search the dblp DataBase
Sandra Alves: [Publications] [Author Rank by year] [Co-authors] [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:119-134 [Conf] - Sandra Alves, Mário Florido
Linearization by Program Transformation. [Citation Graph (0, 0)][DBLP]
LOPSTR, 2003, pp:160-175 [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:79-103 [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:182-195 [Conf] - Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Iterator Types. [Citation Graph (0, 0)][DBLP]
FoSSaCS, 2007, pp:17-31 [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:57-74 [Journal]
Linear Recursion [Citation Graph (, )][DBLP]
Minimality in a Linear Calculus with Iteration. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002