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.
InProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, Giuseppe Castagna and Andrew D
2 Pith papers cite this work, alongside 51 external citations. Polarity classification is still indexing.
2
Pith papers citing it
51
external citations · external index
citation-role summary
background 1
citation-polarity summary
fields
cs.PL 2years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Underapproximate types with symbolic traces guide synthesis of test generators that outperform defaults in property-based testing and model checking for effectful programs.
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.
-
Trace-Guided Synthesis of Effectful Test Generators
Underapproximate types with symbolic traces guide synthesis of test generators that outperform defaults in property-based testing and model checking for effectful programs.