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
Citations:42 - 8 self