Semantics of memory management for polymorphic languages (1997)

by Greg Morrisett , Robert Harper
Venue:In 1st Workshop on Higher Order Operational Techniques in Semantics, A. Gordon and A. Pitts, Eds. Publications of the Newton Institute
Citations:42 - 8 self