Search the dblp DataBase

Publications of Author

1. Alberto Pardo
   Combining Datatypes and Effects. [Citation Graph (0, 0)][DBLP]
   Advanced Functional Programming, 2004, pp:171-209 [Conf]
   
2. Marcos Viera, Alberto Pardo
   A multi-stage language with intensional analysis. [Citation Graph (0, 0)][DBLP]
   GPCE, 2006, pp:11-20 [Conf]
   
3. Alberto Pardo
   Generic Accumulations. [Citation Graph (0, 0)][DBLP]
   Generic Programming, 2002, pp:49-78 [Conf]
   
4. Alberto Pardo
   Monadic Corecursion - Definition, Fusion Laws, and Applications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
   
5. Tarmo Uustalu, Varmo Vene, Alberto Pardo
   Recursion Schemes from Comonads. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:3, pp:366-390 [Journal]
   
6. Alberto Pardo
   Fusion of recursive programs with computational effects. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:260, n:1-2, pp:165-207 [Journal]
   
7. João Paulo Fernandes, Alberto Pardo, João Saraiva
   A shortcut fusion rule for circular program calculation. [Citation Graph (0, 0)][DBLP]
   Haskell, 2007, pp:95-106 [Conf]
   
8. 
   Shortcut fusion rules for the derivation of circular and higher-order monadic programs. [Citation Graph (, )][DBLP]