Abstract Models of Memory Management (1995)

by Greg Morrisett , Matthias Felleisen , Robert Harper
Citations:93 - 17 self