Programming in an Integrated Functional and Logic Language (1999)

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

Active Bibliography

10 Knowledge Representation, Computation, and Learning in Higher-order Logic – J.W. Lloyd - 2001
1 Declarative Programming for Agent Applications – J. W. Lloyd, K. S. Ng
213 HiLog: A foundation for higher-order logic programming – Weidong Chen, Michael Kifer, David S. Warren - 1993
19 Higher Order Logic – Daniel Leivant - 1994
13 GOFFIN: Higher-Order Functions Meet Concurrent Constraints – Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock - 1997
3 Functional-Logic Integration Via Minimal Reciprocal Extensions – Harold Boley
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
Curry An Integrated Functional Logic Language Version 0.8.1 – Michael Hanus [editor, Sergio Antoy, Herbert Kuchen, Francisco J. López-fraguas, Wolfgang Lux, Juan José, Moreno Navarro, Frank Steiner - 2003
9 A Partial Evaluation Framework for Curry Programs – Elvira Albert, Maria Alpuente, Michael Hanus, German Vidal - 1999
53 Curry: A Truly Functional Logic Language – Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro - 1995
78 Higher-order narrowing with definitional trees – Michael Hanus, Christian Prehofer - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
A Challenge for Mechanized Deduction – Christoph Benzmüller, Manfred Kerber
2 A Lost Proof – Christoph Benzmüller, Manfred Kerber - 2001
124 Unification under a mixed prefix – Dale Miller - 1992
2 Extensionality of Simply Typed Logic Programs – Marc Bezem - 1999
2 Higher-order Computational Logic – Lloyd Computer Sciences, J. W. Lloyd - 2002
96 How to Declare an Imperative – Philip Wadler - 1995
A Simple Operational Model for Concurrent Functional Logic Programming – Michael Hanus