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