11 citations · 11 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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…
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…