Integration of functional and logic programming

ACM Computing Surveys

Volumn 28, Issue 2, 1996, Pages 306-308

  Hanus, Michael ^a   Kuchen, Herbert ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 6144236376     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/234528.234734     Document Type: Article

References (6)

1. ANTOY, S., ECHAHED, R., AND HANUS, M. 1994. A needed narrowing strategy. In Proceedings of the 21st ACM Symposium on Principles of Programming Languages (Portland, OR), 268-279.
2. HANUS, M. 1994. The integration of functions into logic programming: From theory to practice. J. Logic Program. 19&20, 583-628.
3. NADATHUR, G. AND MILLER, D. 1988. An overview of λProlog. In Proceedings of the 5th Conference on Logic Programming and 5th Symposium on Logic Programming (Seattle, WA), MIT Press, Cambridge, MA, 810-827.
4. SMOLKA, G. 1995. The Oz programming model. In Current Trends in Computer Science, J. van Leeuwen, Ed., Springer, LNCS 1000.
5. WADLER, P. 1985. How to replace failure by a list of successes. In Functional Programming and Computer Architecture. Springer LNCS 201.
6. WADLER, P. 1992. The essence of functional programming. In Proceedings of the Symposium on Principles of Programming Languages, ACM, New York, 1-14.