Author:
Ager Mads Sig,Biernacki Dariusz,Danvy Olivier,Midtgaard Jan
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Calculating Compilers for Concurrency;Proceedings of the ACM on Programming Languages;2023-08-30
2. A General Fine-Grained Reduction Theory for Effect Handlers;Proceedings of the ACM on Programming Languages;2023-08-30
3. Programming language semantics: It’s easy as 1,2,3;Journal of Functional Programming;2023
4. Normalization by evaluation for modal dependent type theory;Journal of Functional Programming;2023
5. Certified Derivation of Small-Step From Big-Step Skeletal Semantics;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20