Search papers, labs, and topics across Lattice.
Queen Mary 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.