Semantics of memory management for polymorphic languages (1997)

by Greg Morrisett, Robert Harper
Venue:Higher Order Operational Techniques in Semantics, Publications of the Newton Institute