Author:
Antoy Sergio,Hanus Michael
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation 40(1), 795–829 (2005)
2. Albert, E., Hanus, M., Vidal, G.: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. Journal of Functional and Logic Programming 2002(1) (2002)
3. Lecture Notes in Computer Science;S. Antoy,1992
4. Lecture Notes in Computer Science;S. Antoy,1997
5. Antoy, S.: Constructor-based Conditional Narrowing. In: Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pp. 199–206. ACM Press, New York (2001)
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Making a Curry Interpreter using Effects and Handlers;Proceedings of the 17th ACM SIGPLAN International Haskell Symposium;2024-08-28
2. A Case Study in Functional Conversion and Mode Inference in miniKanren;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
3. From Non-determinism to Goroutines: A Fair Implementation of Curry in Go;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06
4. Memoized Pull-Tabbing for Functional Logic Programming;Functional and Constraint Logic Programming;2021
5. Combining Static and Dynamic Contract Checking for Curry;Fundamenta Informaticae;2020-03-31