I am Full Professor at Computing Science Department (InCo) of the Engineering School, Universidad de la República, Montevideo, Uruguay and a member of the Formal Methods Group.
I am Dr.rer.nat. (PhD) from the Darmstadt University of Technology , Germany.
Email: pardo at fing.edu.uy
Postal address:
Instituto de Computación
Facultad de Ingeniería
Julio Herrera y Reissig 565 - Piso 5
11300 Montevideo
Uruguay
Phone: +598-2-711 42 44 / 47 - Int. 104
Fax: +598-2-711 04 69
Shortcut Fusion Rules for the Derivation of Circular Programs and Higher-order Monadic Programs
(joint work with João Paulo Fernandes and João Saraiva)
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2009), Savannah, Georgia, USA, January 19-20, 2009.
Shortcut Fusion of Monadic Programs
(joint work with Cecilia Manzino)
Journal of Universal Computer Science, Vol. 14, No. 21, pp. 3431-3446
(Revised version of SBLP'08 paper).
Shortcut Fusion of Monadic Programs
(joint work with Cecilia Manzino)
Simpósio Brasileiro de Linguagens de Programacao (SBLP 2008), Fortaleza.
[runtime tests]
A Shortcut Fusion Rule for Circular Program Calculation
(joint work with João Paulo Fernandes and João Saraiva)
Haskell Workshop 2007,
Freiburg, Germany, September 2007.
A Multi-Stage Language with Intensional Analysis
(joint work with Marcos Viera)
5th International Conference on Generative Programming and Component Engineering
(GPCE 2006),
Portland, Oregon 2006.
Automatización de Leyes de Fusión de Programas
(joint work with Facundo Domínguez)
XXXII Conferencia Latinoamericana de Informática
(CLEI 2006),
Santiago, Chile, August 20-25 2006.
Program Fusion with Paramorphisms
(joint work with Facundo Domínguez)
Workshop on Mathematically Structured Functional Programming
(MSFP'06),
Kuressaare, Estonia, July 2 2006.
Proceedings published in the
Electronic Workshops in Computing (eWiC)
series of the British Computer Society.
Combining Datatypes and Effects
Advanced Functional Programming, Lecture Notes in Computer Science
Vol. 3622 (2005).
Lecture notes of the 5th International Summer School on Advanced Functional
Programming
(AFP 2004), Tartu, Estonia, August 14-21, 2004.
Generic Accumulations
IFIP TC2 Working Conference on Generic Programming, Dagstuhl, Germany, July 2002.
IFIP Series, volumen 243: Generic Programming, Kluwer Academic Publishers, 2003.
Recursion Schemes from Comonads
(joint work with Tarmo Uustalu and Varmo Vene)
Nordic Journal of Computing
8(3), 2001.
Comonadic Iteration (abstract)
(joint work with Tarmo Uustalu and Varmo Vene)
12th Nordic Workshop on Programming Theory, Bergen, Norway, October 11-13, 2000 (workshop's page).
Towards Merging Recursion and Comonads
Workshop on Generic Programming 2000, Ponte de Lima, Portugal, July 2000 (workshop's page).
Technical Report UU-CS-2000-19, Department of Computer Science,
Utrecht University, 2000.
Fusion of Recursive Programs with Computational
Effects
Theoretical Computer Science
volume 260 (1-2),
pp 165-207, June 2001.
Fusion
of Monadic (Co)Recursive Programs
In MPC'98 Workshop on Generic Programming, Marstrand,
Sweden, June 1998 (workshop's
page).
Monadic
Corecursion: Definition, Fusion Laws and Applications
In ETAPS'98 Workshop on Coalgebraic Methods in Computer Science,
Lisbon, March 1998.
Volume
11 of Electronic Notes in Theoretical Computer Science, Elsevier Science
B.V., 1998.
A Calculational
Approach to Strong Datatypes
In Selected papers from 8th Nordic Workshop on Programming Theory,
Oslo,
Dec. 1996.
Research Report 240, Department of Informatics, University of Oslo,
May 1997.
The rest of my publications can be found here.