Programming in an Integrated Functional and Logic Language (1999)

by J. W. Lloyd , Y. Guo , M. Hagiya
Citations:67 - 14 self

Documents Related by Co-Citation

336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
568 Term Rewriting Systems – J. W. Klop - 1992
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
111 Narrowing as the Operational Semantics of Functional Languages – U S Reddy - 1985
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
156 Logic Programming with Functions and Predicates: The language Babel – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
857 A formulation of the simple theory of types – Alonzo Church - 1940
1862 Foundations of Logic Programming – J W Lloyd - 1987