Alias types for recursive data structures

David Walker, Greg Morrisett
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Types in Compilation
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 177-206
2001
Topic(s): types security
Note(s): permission logic, linear logic, ownership types, typed assembly language

Ownership types