“Use-once” variables and linear objects
- 3 January 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 30 (1), 45-52
- https://doi.org/10.1145/199818.199860
Abstract
No abstract availableThis publication has 47 references indexed in Scilit:
- Minimizing reference count updating with deferred and anchored pointers for functional data structuresACM SIGPLAN Notices, 1994
- Linear logic and permutation stacks—the Forth shall be firstACM SIGARCH Computer Architecture News, 1994
- A “linear logic” QuicksortACM SIGPLAN Notices, 1994
- Sparse polynomials and linear logicACM SIGSAM Bulletin, 1993
- Equal rights for functional objects or, the more things change, the more they are the sameACM SIGPLAN OOPS Messenger, 1993
- The Boyer benchmark meets linear logicACM SIGPLAN Lisp Pointers, 1993
- Lively linear LispACM SIGPLAN Notices, 1992
- Unify and conquerPublished by Association for Computing Machinery (ACM) ,1990
- Encapsulation constructs in systems programming languagesACM Transactions on Programming Languages and Systems, 1984
- The incremental garbage collection of processesACM SIGPLAN Notices, 1977