Abstract Models of Memory Management

Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Also published as Fox Memorandum CMU{CS{FOX{95{01 This research was sponsored by the Defense Advanced Research Projects Agency, CSTO, under the title \The Fox Project: Advanced Development of Systems Software", ARPA Order No. 8313, issued by ESD/AVS under Contract No. F19628-91-C-0168. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing o cial policies, either expressed or implied, of the Defense Advanced Research Projects Agency or the U.S. Government. 

• Type: Conference
• Year: 1995
• Where: FPCA
• Authors: J. Gregory Morrisett, Matthias Felleisen, Robert Harper
• Keywords: Defense Advanced Research Projects Agency, FPCA 1995, Programming Languages, Science Carnegie Mellon, Title \the Fox