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
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 177-206
2001
Topic(s): types security
Note(s): permission logic, linear logic, ownership types, typed assembly language