!!Research output per year
!!Research output per year
Fingerprint
Entra nei temi di ricerca in cui Paola GIANNINI è attivo. Queste etichette tematiche provengono dalle opere di questa persona. Insieme formano una fingerprint unica.
- 1 Profili simili
Collaborazioni e aree di ricerca di punta degli ultimi cinque anni
Recente collaborazione esterna a livello di paese/territorio nazionale. Entra nei dettagli facendo clic sui punti oppure
Risultato della ricerca
-
Don't exhaust, don't waste: Resource-aware soundness for big-step semantics
Bianchini, R., Dagnino, F., GIANNINI, P. & Zucca, E., 2026, In: Journal of Functional Programming. Volume 36Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review
Open Access -
Sensible Intersection Type Theories
Dezani-Ciancaglini, M., Dundua, B., GIANNINI, P. & Honsell, F., 2026, pag. 126-147. 22 pag.Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review
Open Access -
An Effectful Object Calculus
Dagnino, F., Giannini, P. & Zucca, E., 25 giu 2025, 39th European Conference on Object-Oriented Programming, ECOOP 2025. Aldrich, J. & Silva, A. (edd.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 333).Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review
-
A Type System for Data Privacy Compliance in Active Object Languages
Baramashetru, C. P., Giannini, P., Tarifa, S. L. T. & Owe, O., 2025, In: Art, Science, and Engineering of Programming. 10, 2, 18.Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review
Open Access -
Correct implementation of agent interaction protocols
Bergenti, F., Egidi, L., Galliera, L., Giannini, P. & Monica, S., 2025, In: Frontiers in Computer Science. 7, 1659785.Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review
Open Access