Publications of V. Bono
BACK TO COATI PUBLICATION INDEXPublications of V. Bono
| Articles in journal or book's chapters |
-
V. Bono,
M. Bugliesi,
M. Dezani-Ciancaglini,
and L. Liquori.
Subtyping for Extensible, Incomplete Objects.
Fundamenta Informaticae,
38(4):325--364,
1999.
[POSTSCRIPT
] [bibtex-entry]
| Conference's articles |
-
V. Bono,
M. Bugliesi,
M. Dezani-Ciancaglini,
and L. Liquori.
Subtyping Constraint for Incomplete Objects.
In TAPSOFT/CAAP, International Conference of Theory and Practice of Software Development,
volume 1214 of Lecture Notes in Computer Science,
pages 465--477,
1997.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
V. Bono,
M. Bugliesi,
and L. Liquori.
A Lambda Calculus of Incomplete Objects.
In MFCS, International Symposium of Mathematical Foundation of Computer Science,
volume 1113 of Lecture Notes in Computer Science,
pages 218--229,
1996.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
-
V. Bono and L. Liquori.
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.
In CSL, International Conference of Computer Science Logic,
volume 933 of Lecture Notes in Computer Science,
pages 16--30,
1995.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
BACK TO COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:43 2022