Strong Call-by-Value is Reasonable, Implosively - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Dates et versions

hal-03475461 , version 1 (10-12-2021)

Identifiants

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⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

More