TY - RPRT TI - A Type-Directed, Dictionary-Passing Translation of Method Overloading and Structural Subtyping in Featherweight Generic Go AU - Martin Sulzmann AU - Stefan Wehr PY - 2023 UR - https://arxiv.org/abs/2209.08511 ID - 2209.08511 ER -