Published November 27, 2025 | Version v1
Software Open

Welterweight Go: Boxing, Structural Subtyping and Generics (Artifact)

Authors/Creators

  • 1. Queen Mary, University of London
  • 2. ROR icon Royal Holloway University of London
  • 3. ROR icon Universidade Nova de Lisboa
  • 4. University of Edinburgh

Description

Artifact for the paper:

Welterweight Go: Boxing, Structural Subtyping and Generics
Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer and Keith Randall

This is a slightly updated version of the original review version: a couple of typos were fixed and few more tests were added.  See here for the diff.

See one of the included `README-paper779-artifact.*` docs and the separate source repo `README.md` for info and to get started.

 

Files

welterweight_go_artifact.zip

Files (359.6 MB)

Name Size Download all
md5:de064a852033796ca0d479bac1de0907
359.6 MB Preview Download