TY  - RPRT
TI  - Call-By-Name Is Just Call-By-Value with Delimited Control
AU  - Mateusz Pyzik
PY  - 2023
DO  - 10.46298/entics.10502
UR  - https://arxiv.org/abs/2212.08594
ID  - 2212.08594
ER  -