7

Beyond LogLisp: combining functional and relational programming in a reduction setting
– J A Robinson
 1988

46

The relation between logic and functional languages: a survey
– M Bellia, G Levi
 1986

7

Functional logic languages, part I
– U S Reddy
 1986

160

Logic Programming with Functions and Predicates: The Language BABEL
– J MorenoNavarro, M RodrÃguezArtalejo
 1992

110

Narrowing as the operational semantics of functional languages", Unpublished report
– U Reddy
 1985

65

Programming in an Integrated Functional and Logic Language
– J. W. Lloyd, Y. Guo, M. Hagiya
 1999

21

LOGLlSP: An alternative to PROLOG
– J A Robinson, E E Sibert

336

The Integration of Functions into Logic Programming: From Theory to Practice
– Michael Hanus
 1994

170

Unifying Theories of Programming
– C A R Hoare, J He
 1998

439

Computational LambdaCalculus and Monads
– Eugenio Moggi
 1988

1312

Monads for functional programming
– Philip Wadler
 1995

456

Comprehending Monads
– Philip Wadler
 1992

86

How to replace failure by a list of successes
– P Wadler
 1985

53

Curry: A Truly Functional Logic Language
– Michael Hanus, Herbert Kuchen, Juan JosÃ© MorenoNavarro
 1995

56

Declarative Programming in Escher
– J.W. Lloyd, J. W. Lloyd, C Fl J. W. Lloyd
 1995

6

Lessons learned from LCF: a survey of natural deduction proofs
– L C Paulson
 1985

14

A New Perspective on Integrating Functional and Logic Languages
– John Darlington, Yike Guo, Helen Pull
 1992

20

Algebra of logic programming
– Silvija Seres
 1999

17

A categorical approach to the theory of lists
– M Spivey
 1989
