Author:
Bizjak Aleš,Birkedal Lars
Publisher
Springer Berlin Heidelberg
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Almost-Sure Termination by Guarded Refinement;Proceedings of the ACM on Programming Languages;2024-08-15
2. Bialgebraic Reasoning on Higher-order Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic;Proceedings of the ACM on Programming Languages;2024-01-05
4. Logical Predicates in Higher-Order Mathematical Operational Semantics;Lecture Notes in Computer Science;2024
5. Program equivalence in a typed probabilistic call-by-need functional language;Journal of Logical and Algebraic Methods in Programming;2023-10