Strong Call-by-Value is Reasonable, Implosively - Archive ouverte HAL Access content directly
Conference Papers Year :

Strong Call-by-Value is Reasonable, Implosively

(1) , (2) , (3)
1
2
3

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More