Reference Counting as a Computational Interpretation of Linear Logic

Reference Counting as a Computational Interpretation of Linear Logic
Jawahar Chirimar, Carl A. Gunter and Jon G. Riecke
Journal of Functional Programming, volume 6, number 2, pages 195-244, March 1996.

Last updated on Monday, July 25, 2011, 4:36 pm