A semantic framework for functional logic programming with algebraic polymorphic types-Reference-Cited by-同舟云学术

A semantic framework for functional logic programming with algebraic polymorphic types

Published:1997 Issue: Volume: Page:453-464
ISSN:0302-9743
Container-title:TAPSOFT '97: Theory and Practice of Software Development
language:
Short-container-title:

Author:

Arenas-Sánchez P.,Rodríguez-Artalejo M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0030618

Reference21 articles.

1. Almendros-Jiménez J.M., Gavilanes-Franco A., Gil-Luezas A.: Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types In Proc ALP'96. Springer LNCS 1139, pp. 299–313, 1996.

2. Arenas-Sánchez P., Dovier A.: Minimal Set Unification. In Proc. PLILP'95. Springer LNCS 982, pp. 397–414, 1995.

3. Derschowitz N., Jouannaud J.P.: Rewrite Systems. In J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, Chapter 6. Elsevier North-Holland 1990.

4. Dovier A., Rossi G.: Embedding Extensional Finite Sets in CLP. In Proc. ILPS'93, the MIT Press, pp. 540–556, 1993.

5. Gervet C.: Conjunto: Constraint Logic Programming with Finite Set Domains. In Proc. ILPS'94, the MIT Press, pp. 339–358, 1994.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Functional Logic Programming: From Theory to Curry;Programming Logics;2013

2. A new generic scheme for functional logic programming with constraints;Higher-Order and Symbolic Computation;2007-02-24

3. Constraint Functional Logic Programming Revisited;Electronic Notes in Theoretical Computer Science;2005-01

4. Functional and Constraint Logic Programming;Constraints in Computational Logics;2001

5. A Functional-Logic Perspective of Parsing;Functional and Logic Programming;1999