• Sign in
  • Sign up
conf.researchr.org / Beniamino Accattoli
  • APLAS 2019 profile
  • APLAS 2023 profile
  • APLAS 2024 profile
  • ETAPS 2019 profile
  • ICFP 2018 profile
  • ICFP 2022 profile
  • ICFP 2024 profile
  • POPL 2021 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Beniamino Accattoli

Registered user since Thu 14 Apr 2022

Name:Beniamino Accattoli
Country:France
Affiliation:Inria & Ecole Polytechnique
Personal website: https://sites.google.com/site/beniaminoaccattoli/
Research interests:Lambda Calculus, Rewriting, Linear Logic, Abstract Machines

Contributions

2025

POPL

  • Author of Interaction Equivalence within the POPL-track

2024

APLAS

  • Committee Member in Program Committee within the Research Papers-track

ICFP

  • PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

GaLoP

  • Author of Normal Form Bisimulations by Value within the GALOP 2024-track

2023

APLAS

  • Author of A Diamond Machine for Strong Evaluation within the APLAS 2023-track

SPLASH

  • Author of Sharing a Perspective on the lambda-Calculus within the Onward! Essays-track

2022

APLAS

  • Committee Member in Program Committee

ICFP

  • Author of The Theory of Call-by-Value Solvability within the ICFP Papers and Events-track
  • Author of Multi Types and Reasonable Space within the ICFP Papers and Events-track

2021

POPL

  • Author of The (In)Efficiency of Interaction within the POPL-track

2019

APLAS

  • Author of Factorization and Normalization, Essentially within the Research Papers-track

ESOP

  • Author of Types by Need within the ESOP 2019-track

2018

ICFP

  • Author of Tight Typings and Split Bounds within the Research Papers-track
Share
xMon 12 May 20:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up