Martin Sulzmann, Stefan Wehr. Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. In Ekaterina Komendantskaya, editor, Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings. Volume 13544 of Lecture Notes in Computer Science, pages 178-197, Springer, 2022. [doi]
Abstract is missing.