Author:
Ghica Dan R.,Smith Alex I.
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;G. Boudol,1993
2. LNCS;A. Brunel,2014
3. Crary, K., Weirich, S.: Resource bound certification. In: POPL 2000, pp. 184–198. ACM, New York (2000)
4. Lago, U.D., Gaboardi, M.: Linear Dependent Types and Relative Completeness. Logical Methods in Computer Science 8(4) (2011)
5. Lecture Notes in Computer Science;U. Lago Dal,2009
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coeffects for MiniJava: Cf-Mj;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20
2. Functional Ownership through Fractional Uniqueness;Proceedings of the ACM on Programming Languages;2024-04-29
3. Polynomial Time and Dependent Types;Proceedings of the ACM on Programming Languages;2024-01-05
4. Soundly Handling Linearity;Proceedings of the ACM on Programming Languages;2024-01-05
5. Program Synthesis from Graded Types;Lecture Notes in Computer Science;2024