Publications of B. Wack
BACK TO COATI PUBLICATION INDEX
Publications of B. Wack
-
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]
-
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]
-
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]
-
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]
-
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 COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:47 2022
