3 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…
cs.PL2024
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Diana Costa, Raymond Hu
This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLAC…