DMCA

Linear types for aliased resources (2005)

by Chris Hawblitzel
Citations:4 - 0 self