11 citations · 11 across the 3 of their papers we have counts for
Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022
A Type-Directed, Dictionary-Passing Translation of Method Overloading and Structural Subtyping in Featherweight Generic Go
Martin Sulzmann, Stefan Wehr
Featherweight Generic Go (FGG) is a minimal core calculus modeling the essential features of the programming language Go. It includes support for overloaded methods, interface type…
cs.PL2022
Semantic preservation for a type directed translation scheme of Featherweight Go
Martin Sulzmann, Stefan Wehr
Featherweight Go (FG) is a minimal core calculus that includes essential Go features such as overloaded methods and interface types. The most straightforward semantic description o…