Publications of G. Barthe
BACK TO COATI PUBLICATION INDEXPublications of G. Barthe
| Conference's articles |
-
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 COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:43 2022