9 citations · 22 across the 11 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Ferrite: A Judgmental Embedding of Session Types in Rust
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
This paper introduces Ferrite, a shallow embedding of session types in Rust. In contrast to existing session type libraries and embeddings for mainstream languages, Ferrite not onl…
cs.PL2020
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke +5
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structura…