Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Ahmed, A., Fluet, M., Morrisett, G.: A step-indexed model of substructural state. In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP), pp. 78–91. ACM (2005)
2. Barendsen, E., Smetsers, S.: Uniqueness typing for functional languages with graph rewriting semantics. Mathematical Structures in Computer Science 6, 579–612 (1996)
3. Girard, J.Y.: Linear logic. Theoretical Computer Science 50(1), 1–102 (1987)
4. Hage, J., Holdermans, S., Middelkoop, A.: A generic usage analysis with subeffect qualifiers. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP), pp. 235–246. ACM (2007)
5. Henderson, F.: Strong modes can change the world! honours Report, Department of Computer Science, University of Melbourne (November 1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Functional Ownership through Fractional Uniqueness;Proceedings of the ACM on Programming Languages;2024-04-29
2. Linearity and Uniqueness: An Entente Cordiale;Programming Languages and Systems;2022