Author:
Antoy Sergio,Hanus Michael
Publisher
Springer Berlin Heidelberg
Reference28 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. Alpuente, M., Falaschi, M., Vidal, G.: Partial Evaluation of Functional Logic Programs. ACM Transactions on Programming Languages and Systems 20(4), 768–844 (1998)
3. Lecture Notes in Computer Science;S. Antoy,1997
4. 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)
5. Antoy, S.: Evaluation Strategies for Functional Logic Programming. Journal of Symbolic Computation 40(1), 875–903 (2005)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. XtremeAugment: Getting More From Your Data Through Combination of Image Collection and Image Augmentation;IEEE Access;2022
2. Haskell⁻¹: automatic function inversion in Haskell;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18
3. Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions;Electronic Proceedings in Theoretical Computer Science;2020-09-19
4. Adding Data to Curry;Declarative Programming and Knowledge Management;2020
5. Verifying Fail-Free Declarative Programs;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03