Author:
Avanzini Martin,Dal Lago Ugo,Ghyselen Alexis
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Lexicographic Proof Rules for Probabilistic Termination;Formal Aspects of Computing;2023-06-23
2. Automated Expected Value Analysis of Recursive Programs;Proceedings of the ACM on Programming Languages;2023-06-06
3. A Gradual Probabilistic Lambda Calculus;Proceedings of the ACM on Programming Languages;2023-04-06
4. A Calculus for Amortized Expected Runtimes;Proceedings of the ACM on Programming Languages;2023-01-09
5. Probabilistic Resource-Aware Session Types;Proceedings of the ACM on Programming Languages;2023-01-09