Journal of Functional and Logic Programming, Volume 1997

Volume 1997, Number 1, 1997

• Makoto Hamana: Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language. BibTeX

Volume 1997, Number 2, 1997

• Neil D. Jones, Mads Rosendahl: Higher-Order Minimal Function Graphs. BibTeX

Volume 1997, Number 3, 1997

• Lee Naish: A Declarative Debugging Scheme. BibTeX

Volume 1997, Number 4, 1997

• Delia Kesner: Reasoning about Redundant Patterns. BibTeX

Volume 1997, Number 5, 1997

• Mourad Debbabi, Zahia Aïdoud, Ali Faour: On the Inference od Structured Recursive Effects with Subtyping. BibTeX

Volume 1997, Number 6, 1997

• Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. BibTeX

Volume 1997, Number 7, 1997

• Puri Arenas-Sánchez, Agostino Dovier: A Minimality Study for Set Unification. BibTeX