Strong Call-by-Value is Reasonable, Implosively - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Dates and versions

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

Identifiers

Cite

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⟩
13 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More