TY  - RPRT
TI  - A Single-Assignment Translation for Annotated Programs
AU  - Cláudio Belo Lourenço
AU  - Maria João Frade
AU  - Jorge Sousa Pinto
PY  - 2016
UR  - https://arxiv.org/abs/1601.00584
ID  - 1601.00584
ER  -