Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go.

Martin Sulzmann, Stefan Wehr

Browse the full MPC paper archive.