Search papers, labs, and topics across Lattice.
Instituto Superior T茅cnico, University of Lisbon
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.
