WG and LWG model Go's generics and runtime boxing; a compilation from WG to LWG uses runtime type conversions and adaptor methods to support structural subtyping without monomorphisation or code generation.
In: Castagna, G., Gordon, A.D
2 Pith papers cite this work, alongside 2 external citations. Polarity classification is still indexing.
2
Pith papers citing it
2
external citations · OpenAlex
citation-role summary
baseline 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
baseline 1polarities
baseline 1representative citing papers
TACO provides a modular toolsuite with three model checkers for decidable threshold automata fragments and two semi-decision procedures for broader cases.
citing papers explorer
-
Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)
WG and LWG model Go's generics and runtime boxing; a compilation from WG to LWG uses runtime type conversions and adaptor methods to support structural subtyping without monomorphisation or code generation.
-
TACO: A Toolsuite for the Verification of Threshold Automata
TACO provides a modular toolsuite with three model checkers for decidable threshold automata fragments and two semi-decision procedures for broader cases.