 | 2009 |
|---|
| 9 |       | Ana Bove,
Luís Soares Barbosa,
Alberto Pardo,
Jorge Sousa Pinto:
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Springer 2009 |
| 8 | | 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 | | João Paulo Fernandes,
Alberto Pardo,
João Saraiva:
A shortcut fusion rule for circular program calculation.
Haskell 2007: 95-106 |
| 2006 |
|---|
| 6 | | Marcos Viera,
Alberto Pardo:
A multi-stage language with intensional analysis.
GPCE 2006: 11-20 |
| 2004 |
|---|
| 5 | | 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 | | Tarmo Uustalu,
Varmo Vene,
Alberto Pardo:
Recursion Schemes from Comonads.
Nord. J. Comput. 8(3): 366-390 (2001) |
| 2 | | Alberto Pardo:
Fusion of recursive programs with computational effects.
Theor. Comput. Sci. 260(1-2): 165-207 (2001) |
| 1998 |
|---|
| 1 | | Alberto Pardo:
Monadic Corecursion - Definition, Fusion Laws, and Applications.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
