Affiliation:
1. Portland State University Portland, OR
2. University of Kiel, Germany
Abstract
Combining the paradigm features of both logic and functional programming makes for some powerful implementations.
Funder
Deutsche Forschungsgemeinschaft
German Academic Exchange Service
National Science Foundation
Publisher
Association for Computing Machinery (ACM)
Reference39 articles.
1. A practical partial evaluator for a multi-paradigm declarative language;Albert E.;J. Functional and Logic Programming,2002
2. Definitional trees. In Proceedings of the 3rd International Conference on Algebraic and Logic Programming;Antoy S;Springer LNCS,1992
3. Constructor-based conditional narrowing
4. Evaluation strategies for functional logic programming
5. A needed narrowing strategy
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming;Proceedings of the ACM on Programming Languages;2023-08-30
2. Embedding Functional Logic Programming in Haskell via a Compiler Plugin;Practical Aspects of Declarative Languages;2023
3. The Semantics of Plurals;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
4. A Monadic Implementation of Functional Logic Programs;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
5. From Logic to Functional Logic Programs;Theory and Practice of Logic Programming;2022-07