Author:
Birkedal Lars,Bizjak Ale,Schwinghammer Jan
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
2. A frame stack semantics for sequential Core Erlang;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29
3. Program equivalence in an untyped, call-by-value functional language with uncurried functions;Journal of Logical and Algebraic Methods in Programming;2023-04
4. Omnisemantics: Smooth Handling of Nondeterminism;ACM Transactions on Programming Languages and Systems;2023-03-08
5. Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice;Proceedings of the ACM on Programming Languages;2023-01-09