Sfoglia per Autore
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
1995-01-01 V. Bono;L. Liquori
A Lambda Calculus of Incomplete Objects
1996-01-01 V. Bono;M. Bugliesi;L. Liquori
Subtyping Constraints for Incomplete Objects
1997-01-01 VIVIANA BONO; MICHELE BUGLIESI; M. DEZANI; LUIGI LIQUORI
Matching Constraints for the Lambda Calculus of Objects
1997-01-01 V. Bono;M. Bugliesi
An Imperative First-Order Calculus with Object Extension
1998-01-01 V. Bono;K. Fisher
A Subtyping for Extensible, Incomplete Objects
1999-01-01 VIVIANA BONO; MICHELE BUGLIESI; M. DEZANI; LUIGI LIQUORI
Interpretations of Extensible Objects and Types
1999-01-01 V. Bono;M. Bugliesi
A Core Calculus of Classes and Objects
1999-01-01 V. Bono;A. Patel;V. Shmatikov;J. C. Mitchell
Matching for the Lambda Calculus of Objects
1999-01-01 V. Bono;M. Bugliesi
A Core Calculus of Classes and Mixins
1999-01-01 V. Bono;A. Patel;V. Shmatikov
A CuCh Interpretation of an Object-Oriented Language
2001-01-01 V. Bono;I. Salvo
Typed Interpretations of Extensible Objects
2002-01-01 V. Bono;M. Bugliesi;S. Crafa
A calculus for "environment-aware" computation
2002-01-01 Viviana Bono; Ferruccio Damiani; Paola Giannini
Products and Polymorphic Subtypes
2002-01-01 V. Bono;J. Tiuryn
Towards Object-Oriented Klaim
2002-01-01 L. Bettini;V. Bono;B. Venneri
Coordinating Mobile Object-Oriented Code
2002-01-01 Bettini, Lorenzo; Bono, Viviana; Venneri, B.
The Klaim Project: Theory and Practice
2003-01-01 L. Bettini;V. Bono;R. D. Nicola;G. Ferrari;D. Gorla;M. Loreti;E. Moggi;R. Pugliese;E. Tuosto;B. Venneri
Extensible Objects: a Tutorial
2003-01-01 V. Bono
Subtyping-inheritance conflicts: The mobile mixin case
2004-01-01 L. BETTINI; V. BONO; B. VENNERI
A core calculus of mixin-based incomplete objects
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile