BONO, Viviana

BONO, Viviana  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 74 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autore(i) File
33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008) 2008 Viviana Bono
A calculus for "environment-aware" computation 2002 Viviana Bono; Ferruccio Damiani; Paola Giannini
A Core Calculus of Classes and Mixins 1999 V. Bono;A. Patel;V. Shmatikov
A Core Calculus of Classes and Objects 1999 V. Bono;A. Patel;V. Shmatikov;J. C. Mitchell
A core calculus of higher-order mixins and classes 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes [poster abstract] 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixin-based incomplete objects 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixins and incomplete objects 2004 L. BETTINI; V. BONO; S. LIKAVEC
A CuCh Interpretation of an Object-Oriented Language 2001 V. Bono;I. Salvo
A Lambda Calculus of Incomplete Objects 1996 V. Bono;M. Bugliesi;L. Liquori
A Reputation System for Multirole Sessions 2012 Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
A Subtyping for Extensible, Incomplete Objects 1999 VIVIANA BONO; MICHELE BUGLIESI; M. DEZANI; LUIGI LIQUORI
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects 1995 V. Bono;L. Liquori
A tale of intersection types 2020 Bono V.; Dezani-Ciancaglini M.
A Trait Based Re-engineering Technique for Java Hierarchies 2008 L. Bettini; V. Bono; M. Naddeo
A typed lambda calculus with intersection types 2008 V. BONO; B. VENNERI; L. BETTINI
An Imperative First-Order Calculus with Object Extension 1998 V. Bono;K. Fisher
Behavioral Types in Programming Languages 2016 Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T. Vasconcelos; Nobuko Yoshida
Big-step Operational Semantics Revisited 2010 Jaroslaw D. M. Kusmierek; Viviana Bono
Coordinating Mobile Object-Oriented Code 2002 Bettini, Lorenzo; Bono, Viviana; Venneri, B.