Compositional Logic Programming (2000)

by Richard McPhee , Richard Mcphee
Venue:In Proceedings of the JICSLP'96 post-conference workshop: Multi-paradigm logic programming, Report 96-28. Technische Universitat
Citations:6 - 1 self

Documents Related by Co-Citation

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 Moreno-Navarro, M Rodríguez-Artalejo - 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 Lambda-Calculus 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̩ Moreno-Navarro - 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, Yi-ke Guo, Helen Pull - 1992
20 Algebra of logic programming – Silvija Seres - 1999
17 A categorical approach to the theory of lists – M Spivey - 1989