Search papers, labs, and topics across Lattice.
Royal Holloway, University of London
1
0
1
Go's unique structural subtyping and generics can now be formally captured without sacrificing runtime efficiency or compatibility with existing compilation practices.
