Abstract Models of Memory Management (1995)

by Greg Morrisett , Matthias Felleisen , Robert Harper
Citations:90 - 16 self