Curry: An Integrated Functional Logic Language

[14] N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook
of Theoretical Computer Science, Vol. B, pp. 243–320. Elsevier, 1990.
[15] R. Echahed and J.-C. Janodet. Admissible Graph Rewriting and Narrowing. In Proc. Joint
International Conference and Symposium on Logic Programming (JICSLP’98), pp. 325–340,
1998.
[16] L. Fribourg. SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition
and Rewriting. In Proc. IEEE Internat. Symposium on Logic Programming, pp. 172–184,
Boston, 1985.
[17] E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi. Kernel LEAF: A Logic plus Functional
Language. Journal of Computer and System Sciences, Vol. 42, No. 2, pp. 139–185, 1991.
[18] J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas, and M. Rodríguez-
Artalejo. An approach to declarative programming based on a rewriting logic. Journal of
Logic Programming, Vol. 40, pp. 47–87, 1999.
[19] J.C. González-Moreno, M.T. Hortalá-González, and M. Rodríguez-Artalejo. A Higher Order
Rewriting Logic for Functional Logic Programming. In Proc. of the Fourteenth International
Conference on Logic Programming (ICLP’97), pp. 153–167. MIT Press, 1997.
[20] M. Hanus. Compiling Logic Programs with Equality. In Proc. of the 2nd Int. Workshop on
Programming Language Implementation and Logic Programming, pp. 387–401. Springer LNCS
456, 1990.
[21] M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice.
Journal of Logic Programming, Vol. 19&20, pp. 583–628, 1994.
[22] M. Hanus. Teaching Functional and Logic Programming with a Single Computation Model. In
Proc. Ninth International Symposium on Programming Languages, Implementations, Logics,
and Programs (PLILP’97), pp. 335–350. Springer LNCS 1292, 1997.
[23] M. Hanus. A Unified Computation Model for Functional and Logic Programming. In Proc. of
the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80–93, 1997.
[24] M. Hanus and C. Prehofer. Higher-Order Narrowing with Definitional Trees. Journal of
Functional Programming, Vol. 9, No. 1, pp. 33–75, 1999.
[25] M. Hanus and R. Sadre. An Abstract Machine for Curry and its Concurrent Implementation
in Java. Journal of Functional and Logic Programming, Vol. 1999, No. 6, 1999.
[26] P.M. Hill and J.W. Lloyd. The Gödel Programming Language. MIT Press, 1994.
[27] P. Hudak, S. Peyton Jones, and P. Wadler. Report on the Programming Language Haskell
(Version 1.2). SIGPLAN Notices, Vol. 27, No. 5, 1992.
[28] S. Janson and S. Haridi. Programming Paradigms of the Andorra Kernel Language. In Proc.
1991 International Logic Programming Symposium, pp. 167–183. MIT Press, 1991.
79