Fingerprint
Dive into the research topics where Benjamino Accatoli is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Positive Sharing and Abstract Machines
Accattoli, B., Sacerdoti Coen, C. & Wu, J. H., 1 Jan 2026, Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Proceedings. Potanin, A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 107-127 21 p. (Lecture Notes in Computer Science; vol. 16201 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Barendregt’s Theory of the λ-Calculus, Refreshed and Formalized
Lancelot, A., Accattoli, B. & Vemclefs, M., 22 Sept 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 352).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
Accattoli, B., Belo Lourenço, C., Ghica, D. R., Guerrieri, G. & Sacerdoti Coen, C., 13 Dec 2025, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Co-located with the 41st International Conference on Logic Programming. Biernacka, M., Olarte, C., Ricca, F. & Cheney, J. (eds.). Association for Computing Machinery, Inc, 15. (Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Co-located with the 41st International Conference on Logic Programming).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Interaction Equivalence
Accattoli, B., Lancelot, A., Manzonetto, G. & Vanoni, G., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, 55.Research output: Contribution to journal › Article › peer-review
Open Access -
The Cost of Skeletal Call-By-Need, Smoothly
Accattoli, B., Magliocca, F., Peyrot, L. & Coen, C. S., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
The Vanilla Sequent Calculus is Call-by-Value
Accattoli, B., 1 Jan 2025, Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Vafeiadis, V. (ed.). Springer Science and Business Media Deutschland GmbH, p. 1-22 22 p. (Lecture Notes in Computer Science; vol. 15694 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
IMELL Cut Elimination with Linear Overhead
Accattoli, B. & Coen, C. S., 1 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024. Rehof, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Light Genericity
Accattoli, B. & Lancelot, A., 1 Jan 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 24-46 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Mirroring Call-By-Need, or Values Acting Silly
Accattoli, B. & Lancelot, A., 1 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024. Rehof, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
REASONABLE SPACE FOR THE λ-CALCULUS, LOGARITHMICALLY∗
Accattoli, B., Dal Lago, U. & Vanoni, G., 1 Oct 2024, In: Logical Methods in Computer Science. 20, 4, p. 15:1-15:57Research output: Contribution to journal › Article › peer-review
Open Access