Communication Dans Un Congrès
Année : 2021
Beniamino Accattoli : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03475461
Soumis le : vendredi 10 décembre 2021-22:28:57
Dernière modification le : jeudi 1 août 2024-17:08:02
Dates et versions
Identifiants
- HAL Id : hal-03475461 , version 1
- DOI : 10.1109/LICS52264.2021.9470630
Citer
Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen. Strong Call-by-Value is Reasonable, Implosively. 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470630⟩. ⟨hal-03475461⟩
Collections
16
Consultations
0
Téléchargements