Integration of functional and logic programming

Authors:
Michael Hanus;Herbert Kuchen
Affiliations:
RWTH Aachen, Germany;RWTH Aachen, Germany
Venue:
ACM Computing Surveys (CSUR)
Year:
1996

Citing 3
Cited 1

How to replace failure by a list of successes

Proc. of a conference on Functional programming languages and computer architecture
The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A needed narrowing strategy

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Type-based nondeterminism checking in functional logic programs

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract