TY  - RPRT
TI  - Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)
AU  - Sebastian Erdweg
AU  - Tijs van der Storm
AU  - Yi Dai
PY  - 2014
UR  - https://arxiv.org/abs/1404.5770
ID  - 1404.5770
ER  -