Curry: An Integrated Functional Logic Language

References
[1] H. Aït-Kaci. An Overview of LIFE. In J.W. Schmidt and A.A. Stogny, editors, Proc. Workshop
on Next Generation Information System Technology, pp. 42–58. Springer LNCS 504, 1990.
[2] H. Aït-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and Functions. In Proc. 4th
IEEE Internat. Symposium on Logic Programming, pp. 17–23, San Francisco, 1987.
[3] S. Antoy. Definitional Trees. In Proc. of the 3rd International Conference on Algebraic and
Logic Programming, pp. 143–157. Springer LNCS 632, 1992.
[4] S. Antoy. Optimal Non-Deterministic Functional Logic Computations. In Proc. International
Conference on Algebraic and Logic Programming (ALP’97), pp. 16–30. Springer LNCS 1298,
1997.
[5] S. Antoy, R. Echahed, and M. Hanus. Parallel Evaluation Strategies for Functional Logic Languages.
In Proc. of the Fourteenth International Conference on Logic Programming (ICLP’97),
pp. 138–152. MIT Press, 1997.
[6] S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM,
Vol. 47, No. 4, pp. 776–822, 2000.
[7] P. Arenas-Sánchez, A. Gil-Luezas, and F.J. López-Fraguas. Combining Lazy Narrowing with
Disequality Constraints. In Proc. of the 6th International Symposium on Programming Language
Implementation and Logic Programming, pp. 385–399. Springer LNCS 844, 1994.
[8] D. Bert and R. Echahed. Design and Implementation of a Generic, Logic and Functional Programming
Language. In Proc. European Symposium on Programming, pp. 119–132. Springer
LNCS 213, 1986.
[9] S. Bonnier and J. Maluszynski. Towards a Clean Amalgamation of Logic Programs with
External Procedures. In Proc. 5th Conference on Logic Programming & 5th Symposium on
Logic Programming (Seattle), pp. 311–326. MIT Press, 1988.
[10] J. Boye. S-SLD-resolution – An Operational Semantics for Logic Programs with External
Procedures. In Proc. of the 3rd Int. Symposium on Programming Language Implementation
and Logic Programming, pp. 383–393. Springer LNCS 528, 1991.
[11] S. Breitinger, R. Loogen, and Y. Ortega-Mallen. Concurrency in Functional and Logic Programming.
In Fuji International Workshop on Functional and Logic Programming. World
Scientific Publ., 1995.
[12] M.M.T. Chakravarty, Y. Guo, M. Köhler, and H.C.R. Lock. Goffin - Higher-Order Functions
Meet Concurrent Constraints. Science of Computer Programming, Vol. 30, No. 1-2, pp. 157–
199, 1998.
[13] L. Damas and R. Milner. Principal type-schemes for functional programs. In Proc. 9th Annual
Symposium on Principles of Programming Languages, pp. 207–212, 1982.
78