Publications

• 2009

Design, Implementation and Calculation of Circular Programs, João Paulo Fernandes, PhD thesis, defended in March, 2009. The thesis is available as a book, ISBN 3639168968, published by VDM Verlag. You may read the acknowledgements section here.

Shortcut fusion for the derivation of circular and higher-order monadic programs, João Paulo Fernandes, Alberto Pardo and João Saraiva. In the proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM09, Savannah, Georgia, USA, January 19-20, 2009.

• © ACM, 2009. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM09, Savannah, Georgia, USA, January 19-20, 2009.

• 2007

A Shortcut Fusion Rule for Circular Program Calculation, João Paulo Fernandes, Alberto Pardo and João Saraiva. In proceedings of the 2007 ACM SIGPLAN Haskell Workshop, HW07, September 30, 2007, Freiburg, Germany

• © ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the Haskell Workshop, September 30, 2007, Freiburg, Germany ACM, 2007.

Tools and Libraries to Model and Manipulate Circular Programs, João Paulo Fernandes and João Saraiva, In Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM07, January 15-16, 2007, Nice, France

• © ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the Workshop on Partial Evaluation and Program Manipulation, January 15-16, 2007, Nice, France.

• 2004

Generalized LR Parsing in Haskell, João Paulo Fernandes, João Saraiva and Joost Visser, in Informal Proceedings of the Summer School on Advanced Functional Programming, students' presentation, pages 24-37, University of Tartu, August

Generalized LR Parsing, João Paulo Fernandes, PURe Project Technical Report DI-PURe-04.11.01