Author:
Moran Andrew,Sands David,Carlsson Magnus
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Fast Nominal Anti-unification of Letrec-Expressions;Automated Deduction – CADE 29;2023
2. Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
3. Space Improvements and Equivalences in a Functional Core Language;Electronic Proceedings in Theoretical Computer Science;2018-02-16
4. Nominal Unification of Higher Order Expressions with Recursive Let;Logic-Based Program Synthesis and Transformation;2017
5. Representations of Stream Processors Using Nested Fixed Points;Logical Methods in Computer Science;2009-09-15