Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Benjamino Accatoli

Voir le profil Scopus

Benjamino Accatoli

Chargé de recherche

20092026

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Benjamino Accatoli est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 47 Contribution à une conférence
  • 16 Article
  • 2 Article de conférence
  • 2 Éditorial

  • Positive Sharing and Abstract Machines

    Accattoli, B., Sacerdoti Coen, C. & Wu, J. H., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • 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 déc. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Interaction Equivalence

    Accattoli, B., Lancelot, A., Manzonetto, G. & Vanoni, G., 7 janv. 2025, Dans: Proceedings of the ACM on Programming Languages. 9, 55.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • The Cost of Skeletal Call-By-Need, Smoothly

    Accattoli, B., Magliocca, F., Peyrot, L. & Coen, C. S., 7 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • The Vanilla Sequent Calculus is Call-by-Value

    Accattoli, B., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • IMELL Cut Elimination with Linear Overhead

    Accattoli, B. & Coen, C. S., 1 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Light Genericity

    Accattoli, B. & Lancelot, A., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Mirroring Call-By-Need, or Values Acting Silly

    Accattoli, B. & Lancelot, A., 1 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • REASONABLE SPACE FOR THE λ-CALCULUS, LOGARITHMICALLY∗

    Accattoli, B., Dal Lago, U. & Vanoni, G., 1 oct. 2024, Dans: Logical Methods in Computer Science. 20, 4, p. 15:1-15:57

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
Tout afficher 67 résultat de recherche