MASCOTTE no longer exists => visit the new project-team
Publications of V. Bono
BACK TO MASCOTTE PUBLICATION INDEX
Publications of V. Bono
-
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]
-
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 MASCOTTE PUBLICATION INDEX
Last modified: Thu Oct 10 14:10:01 2013
This document was translated from BibTEX by
bibtex2html
| 
