Reference Counting as a Computational Interpretation of Linear Logic (1996)

Cached

Download Links

by Jawahar Chirimar , Carl A. Gunter , Jon G. Riecke
Venue:Journal of Functional Programming
Citations:34 - 0 self

Document Versions

Reference Counting as a Computational Interpretation of Linear Logic –Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke — 1996 — Journal of Functional Programming