11 citations · 11 across the 3 of their papers we have counts for
4 papers
Set-theoretic Types for Erlang
Albert Schimpf, Stefan Wehr, Annette Bieniusa
Erlang is a functional programming language with dynamic typing. The language offers great flexibility for destructing values through pattern matching and dynamic type tests. Erlan…
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…
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…
A Dictionary-Passing Translation of Featherweight Go
Martin Sulzmann, Stefan Wehr
The Go programming language is an increasingly popular language but some of its features lack a formal investigation. This article explains Go's resolution mechanism for overloaded…