MASCOTTE no longer exists => visit the new project-team
Publications of K. Claude
BACK TO MASCOTTE PUBLICATION INDEX
Publications of K. Claude
-
H. Cirstea,
K. Claude,
L. Liquori,
and B. Wack.
Polymorphic Type Inference for the Rewriting Calculus.
In JFLA: Journées Francophones des Langages Applicatifs,
pages 57--69,
2006.
INRIA.
[bibtex-entry]
BACK TO MASCOTTE PUBLICATION INDEX
Last modified: Thu Oct 10 14:10:01 2013
This document was translated from BibTEX by
bibtex2html
|