dblp.uni-trier.dewww.uni-trier.de

Alberto Pardo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
8EEAlberto 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
7EEJoão Paulo Fernandes, Alberto Pardo, João Saraiva: A shortcut fusion rule for circular program calculation. Haskell 2007: 95-106
2006
6EEMarcos Viera, Alberto Pardo: A multi-stage language with intensional analysis. GPCE 2006: 11-20
2004
5EEAlberto Pardo: Combining Datatypes and Effects. Advanced Functional Programming 2004: 171-209
2002
4 Alberto Pardo: Generic Accumulations. Generic Programming 2002: 49-78
2001
3EETarmo Uustalu, Varmo Vene, Alberto Pardo: Recursion Schemes from Comonads. Nord. J. Comput. 8(3): 366-390 (2001)
2EEAlberto Pardo: Fusion of recursive programs with computational effects. Theor. Comput. Sci. 260(1-2): 165-207 (2001)
1998
1EEAlberto Pardo: Monadic Corecursion - Definition, Fusion Laws, and Applications. Electr. Notes Theor. Comput. Sci. 11: (1998)

Coauthor Index

1João Paulo Fernandes [7] [8]
2João Saraiva [7] [8]
3Tarmo Uustalu [3]
4Varmo Vene [3]
5Marcos Viera [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)