Author:
Ariola Zena M.,Maraist John,Odersky Martin,Felleisen Matthias,Wadler Philip
Cited by
97 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14
2. Closure Conversion in Little Pieces;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. Program equivalence in a typed probabilistic call-by-need functional language;Journal of Logical and Algebraic Methods in Programming;2023-10
4. The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming;Proceedings of the ACM on Programming Languages;2023-08-30
5. A strong call-by-need calculus;Logical Methods in Computer Science;2023-03-24