TY  - RPRT
TI  - Semantic preservation for a type directed translation scheme of Featherweight Go
AU  - Martin Sulzmann
AU  - Stefan Wehr
PY  - 2022
UR  - https://arxiv.org/abs/2206.09980
ID  - 2206.09980
ER  -