MASCOTTE no longer exists => visit the new COATI project-team
 

Publications of G. Barthe
BACK TO MASCOTTE PUBLICATION INDEX

Publications of G. Barthe

Conference articles
  1. G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori. Pure Patterns Type Systems. In POPL, Symposium on Principles of Programming Languages, pages 250--261, 2003. ACM. [POSTSCRIPT ] [bibtex-entry]


BACK TO MASCOTTE PUBLICATION INDEX



Last modified: Thu Oct 10 14:10:00 2013

This document was translated from BibTEX by bibtex2html