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