...collaborate on
Personal » Ze » WebHome

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


I am currently a PhD student at CWI, working on "Deployment of Distributed Component Based Systems", since January 2006.


  • 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.

r13 - 12 Feb 2007 - 19:59:23 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM