Functional Logic Programming: From Theory to Curry-Reference-Cited by-同舟云学术

Functional Logic Programming: From Theory to Curry

Published:2013 Issue: Volume: Page:123-168
ISSN:0302-9743
Container-title:Programming Logics
language:
Short-container-title:

Author:

Hanus Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-37651-1_6

Reference132 articles.

1. Lecture Notes in Computer Science;H. Aït-Kaci,1991

2. Aït-Kaci, H., Lincoln, P., Nasr, R.: Le Fun: Logic, equations, and Functions. In: Proc. 4th IEEE Internat. Symposium on Logic Programming, San Francisco, pp. 17–23 (1987)

3. 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)

4. Lecture Notes in Artificial Intelligence;E. Albert,2000

5. 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)

Cited by 42 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. Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures;Practical Aspects of Declarative Languages;2023

3. From Logic to Functional Logic Programs;Theory and Practice of Logic Programming;2022-07

4. Data Type Inference for Logic Programming;Logic-Based Program Synthesis and Transformation;2022

5. A Logical Characterization of Evaluable Knowledge Bases;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022