CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 44
Titolo Data di pubblicazione Autore(i) File
Extending Java to dynamic object behaviors 2003 L. Bettini;S. Capecchi;B. Venneri
Translating Double-Dispatch into Single-Dispatch 2005 Lorenzo Bettini; Sara Capecchi; Betti Venneri
Double Dispatch in C++ 2006 L. BETTINI; S. CAPECCHI; B. VENNERI
Featherweight Java with Multi-Methods 2007 L. BETTINI; S. CAPECCHI; B. VENNERI
Featherweight Wrap Java 2007 L. BETTINI; S. CAPECCHI; E. GIACHINO
Session and Union Types for Object Oriented Programming 2008 Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani; Elena Giachino; Betti Venneri
Featherweight Wrap Java: wrapping objects and methods 2008 L. BETTINI; S. CAPECCHI; E. GIACHINO
A Mechanisms for Flexible Dynamic Trait Replacement 2009 Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
Featherweight Java with Dynamic and Static Overloading 2009 Lorenzo Bettini; Sara Capecchi; Betti Venneri
Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account 2009 Lorenzo Bettini; Sara Capecchi; Betti Venneri
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 2009 Sara Capecchi; Mario Coppo; Mariangiola Dezani; Sophia Drossopoulou; Elena Giachino
Types for BioAmbients 2010 Sara Capecchi; Angelo Troina
A safe implementation of dynamic overloading in Java-like languages 2010 Lorenzo Bettini; Sara Capecchi; Betti Venneri
Global Escape in Multiparty Sessions 2010 Sara Capecchi; Elena Giachino; Nobuko Yoshida
Typing Asymmetric Client-Server Interaction 2010 Franco Barbanera; Sara Capecchi; Ugo de' Liguoro
Session Types for Access and Information Flow Control 2010 Sara Capecchi; Ilaria Castellani; Mariangiola Dezani; Tamara Rezk
Information Flow Safety in Multiparty Sessions 2011 Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
A Reputation System for Multirole Sessions 2012 Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
Teachers for teachers T4T 2014 2013 G. Barbara Demo; Lawrence Williams; Alessandro Rabbone; Alberto Barbero; Sara Capecchi; Ruggero Pensa; Flaviano MOnge; Maria Grazia Maffucci; Carlos Bayon Rodriguez; Cristina Bosco; Liliana Ardissono
Deriving Session and Union Types for Objects 2013 L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri
Mostrati risultati da 1 a 20 di 44
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