Sfoglia per Autore
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
2024-01-01 Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Introducing TCD-D for Creativity Assessment: A Mobile App for Educational Contexts
2023-01-01 De Lorenzo Aurelia; Nasso Alessandro; Bono Viviana; Rabaglietti Emanuela
Gradual Guarantee for FJ with lambda-Expressions
2023-01-01 Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
Local Multi-Head Channel Self-Attention for Facial Expression Recognition
2022-01-01 Pecoraro Roberto; Basile Valerio; Bono Viviana
Soundness Conditions for Big-Step Semantics
2020-01-01 Dagnino F.; Bono V.; Zucca E.; Dezani-Ciancaglini M.
A tale of intersection types
2020-01-01 Bono V.; Dezani-Ciancaglini M.
The Magda Language: Ten Years After
2019-01-01 Viviana Bono
Java & Lambda: a Featherweight Story
2018-01-01 Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Data-driven adaptation for smart sessions
2017-01-01 Bono, Viviana; Coppo, Mario; Dezani, Mariangiola; Venneri, Betti
Behavioral Types in Programming Languages
2016-01-01 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
Lucretia - intersection type polymorphism for scripting languages
2015-01-01 Marcin Benke; Viviana Bono; Aleksy Schubert
Program Committee member of the 29th edition of the European Conference on Object-Oriented Programming (ECOOP 2015).
2015-01-01 Bono, Viviana
Program Committee member of the 23rd European Symposium on Programming (ESOP 2014)
2014-01-01 Bono, Viviana
Trait-oriented programming in Java 8
2014-01-01 Bono, Viviana; Mensa, Enrico; Naddeo, Marco
Program Committee member of the Programming Language Approaches to Concurrency and Communication-cEntric Software workshop (PLACES 2013)
2013-01-01 Viviana Bono
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
2013-01-01 Bono, Viviana; Padovani, Luca; Andrea, Tosatto
Typing Copyless Message Passing
2012-01-01 Viviana Bono; Luca Padovani
Magda: A New Language for Modularity
2012-01-01 Viviana Bono; Jarek Kusmierek; Mauro Mulatero
A Reputation System for Multirole Sessions
2012-01-01 Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
Typing Copyless Message Passing
2011-01-01 Bono, Viviana; Chiara, Messa; Padovani, Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows | 2024 | Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci | |
Introducing TCD-D for Creativity Assessment: A Mobile App for Educational Contexts | 2023 | De Lorenzo Aurelia; Nasso Alessandro; Bono Viviana; Rabaglietti Emanuela | |
Gradual Guarantee for FJ with lambda-Expressions | 2023 | Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido | |
Local Multi-Head Channel Self-Attention for Facial Expression Recognition | 2022 | Pecoraro Roberto; Basile Valerio; Bono Viviana | |
Soundness Conditions for Big-Step Semantics | 2020 | Dagnino F.; Bono V.; Zucca E.; Dezani-Ciancaglini M. | |
A tale of intersection types | 2020 | Bono V.; Dezani-Ciancaglini M. | |
The Magda Language: Ten Years After | 2019 | Viviana Bono | |
Java & Lambda: a Featherweight Story | 2018 | Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri | |
Data-driven adaptation for smart sessions | 2017 | Bono, Viviana; Coppo, Mario; Dezani, Mariangiola; Venneri, Betti | |
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 | |
Lucretia - intersection type polymorphism for scripting languages | 2015 | Marcin Benke; Viviana Bono; Aleksy Schubert | |
Program Committee member of the 29th edition of the European Conference on Object-Oriented Programming (ECOOP 2015). | 2015 | Bono, Viviana | |
Program Committee member of the 23rd European Symposium on Programming (ESOP 2014) | 2014 | Bono, Viviana | |
Trait-oriented programming in Java 8 | 2014 | Bono, Viviana; Mensa, Enrico; Naddeo, Marco | |
Program Committee member of the Programming Language Approaches to Concurrency and Communication-cEntric Software workshop (PLACES 2013) | 2013 | Viviana Bono | |
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language | 2013 | Bono, Viviana; Padovani, Luca; Andrea, Tosatto | |
Typing Copyless Message Passing | 2012 | Viviana Bono; Luca Padovani | |
Magda: A New Language for Modularity | 2012 | Viviana Bono; Jarek Kusmierek; Mauro Mulatero | |
A Reputation System for Multirole Sessions | 2012 | Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani | |
Typing Copyless Message Passing | 2011 | Bono, Viviana; Chiara, Messa; Padovani, Luca |
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