Monadic and Substructural Type Systems for Region-Based Memory Management (2007)

by Matthew Thomas Fluet
Venue:Cornell University
Citations:2 - 0 self