TY  - RPRT
TI  - Implementing Open Call-by-Value (Extended Version)
AU  - Beniamino Accattoli
AU  - Giulio Guerrieri
PY  - 2017
UR  - https://arxiv.org/abs/1701.08186
ID  - 1701.08186
ER  -