2 papers
cs.PL2026
Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)
Raymond Hu, Julien Lange, Bernardo Toninho +3
Go's unique combination of structural subtyping between generics and types with non-uniform runtime representations presents significant challenges for formalising the language. We…
physics.plasm-ph2025
Design and initial results from the "Junior" Levitated Dipole Experiment
Craig S. Chisholm, Thomas Berry, Darren T. Garnier +43
OpenStar Technologies is a private fusion company exploring the levitated dipole concept for commercial fusion energy production. OpenStar has manufactured a new generation of levi…