Programming in an Integrated Functional and Logic Language (1999)

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

Active Bibliography

791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
488 The mathematics of sentence structure – Joachim Lambek, Joachim Lambek
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
228 HiLog: A foundation for higher-order logic programming – Weidong Chen, Michael Kifer, David S. Warren - 1993
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
346 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller