PADOVANI, Luca
PADOVANI, Luca
Scuola di Scienze e Tecnologie
A core calculus for dynamic delta-oriented programming
2018-01-01 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph
A Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Ciccone, Luca; Padovani, Luca
A Distributed Implementation of Mobile Nets as Mobile Agents
2005-01-01 N., Busi; Padovani, Luca
A Formal Account of Contracts for Web Services
2006-01-01 S., Carpineti; G., Castagna; C., Laneve; Padovani, Luca
A formal foundation for dynamic delta-oriented software product lines
2012-01-01 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004-01-01 Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli
A gentle introduction to multiparty asynchronous session types
2015-01-01 Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
A Logical Account of Subtyping for Session Types
2023-01-01 Horne, Ross; Padovani, Luca
A Simple Library Implementation of Binary Sessions
2017-01-01 Padovani, Luca
A Theory of Contracts for Web Services
2007-01-01 B, Castagna; N, Gesbert; Padovani, L.
A Theory of Contracts for Web Services
2009-01-01 Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca
A Theory of Contracts for Web Services
2008-01-01 G., Castagna; N., Gesbert; Padovani, Luca
A Type Checking Algorithm for Concurrent Object Protocols
2018-01-01 Padovani, Luca
An Algebraic Theory for Web Service Contracts
2015-01-01 Cosimo, Laneve; Padovani, Luca
An Algebraic Theory for Web Service Contracts
2013-01-01 Cosimo, Laneve; Padovani, Luca
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
2022-01-01 Ciccone, Luca; Padovani, Luca
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
2004-01-01 Padovani, Luca; R., Solmi
An OCaml Implementation of Binary Sessions
2017-01-01 Melgratti, Hernán; Padovani, Luca
Behavioral Types in Programming Languages
2016-01-01 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
Chaperone Contracts for Higher-Order Sessions
2017-01-01 Hernán, Melgratti; Padovani, Luca
| 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-2007 | B, Castagna; N, Gesbert; Padovani, L. | Contributo in atto di convegno su volume | |
| 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-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-2015 | Cosimo, Laneve; 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 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 |