Beniamino Accattoli

发表

Damiano Mazza, Beniamino Accattoli, Pablo Barenbaum, 2014, ICFP.
Beniamino Accattoli, Bruno Barras, 2017, PPDP.
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni, 2021, Proc. ACM Program. Lang..
Delia Kesner, Beniamino Accattoli, Stéphane Lengrand, 2020, Journal of Functional Programming.
Beniamino Accattoli, Beniamino Accattoli, 2012, RTA.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2016, ArXiv.
Delia Kesner, Eduardo Bonelli, Beniamino Accattoli, 2014, POPL.
Ugo Dal Lago, Beniamino Accattoli, 2017, ArXiv.
Beniamino Accattoli, Alejandro Díaz-Caro, 2020, FLOPS.
Beniamino Accattoli, Beniamino Accattoli, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2018, APLAS.
Claudio Sacerdoti Coen, Beniamino Accattoli, Beniamino Accattoli, 2014, WoLLIC.
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle, 2019, ESOP.
Ugo Dal Lago, Beniamino Accattoli, Beniamino Accattoli, 2016, Log. Methods Comput. Sci..
Delia Kesner, Beniamino Accattoli, D. Kesner, 2010, CSL.
Delia Kesner, Beniamino Accattoli, Stéphane Lengrand, 2018, Proc. ACM Program. Lang..
Claudio Sacerdoti Coen, Beniamino Accattoli, Andrea Condoluci, 2019, PPDP.
Beniamino Accattoli, 2013, TERMGRAPH.
Beniamino Accattoli, 2017, LSFA.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2016, APLAS.
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri, 2019, APLAS.
Claudio Sacerdoti Coen, Beniamino Accattoli, Giulio Guerrieri, 2019, PPDP.
Beniamino Accattoli, Beniamino Accattoli, 2012, LSFA.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2019, Sci. Comput. Program..
Damiano Mazza, Beniamino Accattoli, Pablo Barenbaum, 2015, APLAS.
Beniamino Accattoli, Beniamino Accattoli, 2012, Theor. Comput. Sci..
Beniamino Accattoli, Beniamino Accattoli, 2019 .
Beniamino Accattoli, Giulio Guerrieri, 2017, FSEN.
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni, 2020, ArXiv.
Beniamino Accattoli, Stefano Guerrini, 2009, CSL.
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle, 2019, ArXiv.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2018, ArXiv.
Beniamino Accattoli, Beniamino Accattoli, 2016, WPTE@FSCD.
Delia Kesner, Beniamino Accattoli, D. Kesner, 2012, LPAR.
Beniamino Accattoli, Bruno Barras, 2017, APLAS.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2017, ArXiv.
Delia Kesner, Beniamino Accattoli, D. Kesner, 2012, Log. Methods Comput. Sci..
Ugo Dal Lago, Beniamino Accattoli, Beniamino Accattoli, 2014, ArXiv.
Beniamino Accattoli, 2013, RTA.
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni, 2020, PPDP.
Ugo Dal Lago, Beniamino Accattoli, Beniamino Accattoli, 2016, Log. Methods Comput. Sci..
Luca Paolini, Beniamino Accattoli, Beniamino Accattoli, 2012, FLOPS.
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri, 2020, CSL.
Damiano Mazza, Beniamino Accattoli, Pablo Barenbaum, 2014, ArXiv.
Claudio Sacerdoti Coen, Beniamino Accattoli, Beniamino Accattoli, 2014, WoLLIC.
Beniamino Accattoli, Beniamino Accattoli, 2016, WoLLIC.
Beniamino Accattoli, Stefano Guerrini, Beniamino Accattoli, 2009, CSL 2009.
Claudio Sacerdoti Coen, Beniamino Accattoli, Beniamino Accattoli, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni, 2021, ArXiv.
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle, 2021, ArXiv.
Beniamino Accattoli, Maico Leberle, Beniamino Accattoli, 2021, CSL.
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Claudio Sacerdoti Coen, Beniamino Accattoli, Andrea Condoluci, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Delia Kesner, Beniamino Accattoli, D. Kesner, 2010 .