Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Samson Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111:3–57, 1993.
2. Henry Baker. Lively Linear LISP—Look Ma, No Garbage. ACM Sigplan Notices, 27(8):89–98, 1992.
3. Henry Baker. A Linear Logic Quicksort. ACM Sigplan Notices, 29(2):13–18, 1994.
4. E. Barendsen and S. Smetsers. Uniqueness typing for functional languages with graph rewriting semantics. Mathematical Structures in Computer Science, 6:579–612, 1996.
5. Vuokko-Helena Caseiro. Equations for Defining Poly-time Functions. PhD thesis, University of Oslo, 1997. Available by ftp from ftp://ftp.i_.uio.no/pub/vuokko/0adm.ps .
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. FP²: Fully in-Place Functional Programming;Proceedings of the ACM on Programming Languages;2023-08-30
2. A cost-aware logical framework;Proceedings of the ACM on Programming Languages;2022-01-12
3. Cogent: uniqueness types and certifying compilation;Journal of Functional Programming;2021
4. Garbage collection using a finite liveness domain;Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management;2020-06
5. In-place Graph Rewriting with Interaction Nets;Electronic Proceedings in Theoretical Computer Science;2016-09-10