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

Publications of B. Wack
BACK TO MASCOTTE PUBLICATION INDEX

Publications of B. Wack

Articles in journal or book chapters
  1. L. Liquori and B. Wack. The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. WRLA: International Workshop on Rewriting Logic and its Applications. Electr. Notes Theor. Comput. Sci., 117:89--111, 2005. [POSTSCRIPT ] [bibtex-entry]

  2. H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Rewrite strategies in the Rewriting Calculus. WRS, International Workshop on Reduction Strategies in Rewriting and Programming. Electr. Notes Theor. Comput. Sci., 86(4), 2003. [POSTSCRIPT ] [bibtex-entry]

Conference articles
  1. 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]

  2. H. Cirstea, L. Liquori, and B. Wack. Rewriting Calculus with Fixpoints: Untyped and First-order Systems. In TYPES, International Workshop on Types for Proof and Programs, volume 3085 of Lecture Notes in Computer Science, pages 147--161, 2003. Springer Verlag. [POSTSCRIPT ] [bibtex-entry]

Internship reports
  1. B. Wack. Réseaux optiques à multiplexage en longueur d'onde. Rapport de stage de magistère d'informatique, ENS Lyon, 2000. [bibtex-entry]


BACK TO MASCOTTE PUBLICATION INDEX




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


This document was translated from BibTEX by bibtex2html