Publications of G. Castagna
BACK TO COATI PUBLICATION INDEXPublications of G. Castagna
| Conference's articles |
-
L. Liquori and G. Castagna.
A Typed Lambda Calculus of Objects.
In Asian, International Conference on Concurrency and Parallelism, Programming, Networking, and Security,
volume 1179 of Lecture Notes in Computer Science,
pages 129--141,
1996.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
BACK TO COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:43 2022