TY  - RPRT
TI  - Lambda-lifting and CPS conversion in an imperative language
AU  - Gabriel Kerneis
AU  - Juliusz Chroboczek
PY  - 2012
UR  - https://arxiv.org/abs/1202.3247
ID  - 1202.3247
ER  -