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.PL2021
Proceedings 14th Interaction and Concurrency Experience
Julien Lange, Anastasia Mavridou, Larisa Safina +1
This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21…