PADOVANI, Luca

PADOVANI, Luca  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 89 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
A core calculus for dynamic delta-oriented programming 1-gen-2018 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph Articolo
A Dependently-Typed Linear π -Calculus in Agda 1-gen-2020 Ciccone, Luca; Padovani, Luca Contributo in atto di convegno su volume
A Distributed Implementation of Mobile Nets as Mobile Agents 1-gen-2005 N., Busi; Padovani, Luca Contributo in atto di convegno su volume
A Formal Account of Contracts for Web Services 1-gen-2006 S., Carpineti; G., Castagna; C., Laneve; Padovani, Luca Contributo in atto di convegno su volume
A formal foundation for dynamic delta-oriented software product lines 1-gen-2012 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer Contributo in atto di convegno su volume
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 1-gen-2004 Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli Contributo in atto di convegno su volume
A gentle introduction to multiparty asynchronous session types 1-gen-2015 Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko Capitolo di libro o voce di enciclopedia
A Logical Account of Subtyping for Session Types 1-gen-2023 Horne, Ross; Padovani, Luca Contributo in atto di convegno su rivista
A Simple Library Implementation of Binary Sessions 1-gen-2017 Padovani, Luca Articolo
A Theory of Contracts for Web Services 1-gen-2009 Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca Articolo
A Theory of Contracts for Web Services 1-gen-2007 B, Castagna; N, Gesbert; Padovani, L. Contributo in atto di convegno su volume
A Theory of Contracts for Web Services 1-gen-2008 G., Castagna; N., Gesbert; Padovani, Luca Contributo in atto di convegno su volume
A Type Checking Algorithm for Concurrent Object Protocols 1-gen-2018 Padovani, Luca Articolo
An Algebraic Theory for Web Service Contracts 1-gen-2013 Cosimo, Laneve; Padovani, Luca Contributo in atto di convegno su volume
An Algebraic Theory for Web Service Contracts 1-gen-2015 Cosimo, Laneve; Padovani, Luca Articolo
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus 1-gen-2022 Ciccone, Luca; Padovani, Luca Contributo in atto di convegno su volume
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 1-gen-2004 Padovani, Luca; R., Solmi Contributo in atto di convegno su volume
An OCaml Implementation of Binary Sessions 1-gen-2017 Melgratti, Hernán; Padovani, Luca Capitolo di libro o voce di enciclopedia
Behavioral Types in Programming Languages 1-gen-2016 Davide, Ancona; Bono, Viviana; 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; Padovani, Luca; Vasco T., Vasconcelos; Nobuko, Yoshida Articolo
Chaperone Contracts for Higher-Order Sessions 1-gen-2017 Hernán, Melgratti; Padovani, Luca Articolo