Abstract Models of Memory Management (1995)

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

Active Bibliography

unknown title – Abstract Models, Memory Management, Greg Morrisett, Matthias Felleisen, Robert Harper
103 Compiling with Types – Greg Morrisett - 1995
Abstract Models of Memory Management \Lambda – unknown authors
Compiling with Types – unknown authors
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
262 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993