Contact Information Name: José Proença Email: Jose.Proenca AT cwi DOT nl Web: http://www.cwi.nl/~proenca Address: Centrum voor Wiskunde en Informatica (CWI) Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam The Netherlands

Introduction

Publications

• Alcino Cunha, Jorge Sousa Pinto and José Proença, A Framework for Point-free Program Transformation. Revised Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages (IFL'05). To appear in Springer LNCS.

Techical Reports

• Tranformações pointwise - point-free, José Proença, DI-PURe-05.02.01, February 2005. (pdf)
• Down with Variables, Alcino Cunha, Jorge Sousa Pinto, and José Proença, DI-PURe-05.06.01, June 2005 (pdf)
• Point-free Simplification, José Proença, DI-PURe-05.08.01, August 2005. (pdf)

Point-free Program Transformation

• Point-free Program Transformation. It consists on the development of a tool that reads a pointfree program annotated with information about the transformations to be made, and tries to apply them. To view the project proposal click here. Detailed information about the project can be found here.