- Mourad Debbabi, Zahia Aïdoud, Ali Faour:
On the Inference od Structured Recursive Effects with Subtyping. J. Funct. Log. Program. 1997(5) (1997) - Makoto Hamana:
Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language. J. Funct. Log. Program. 1997(1) (1997) - Neil D. Jones, Mads Rosendahl:
Higher-Order Minimal Function Graphs. J. Funct. Log. Program. 1997(2) (1997) - Delia Kesner:
Reasoning about Redundant Patterns. J. Funct. Log. Program. 1997(4) (1997) - Lee Naish:
A Declarative Debugging Scheme. J. Funct. Log. Program. 1997(3) (1997) - Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. 1997(6) (1997) - 1996
- Simon Brock:
Compile-Time Pointer Reversal. J. Funct. Log. Program. 1996(3) (1996) - Wei-Ngan Chin, Siau-Cheng Khoo:
Better Consumers for Program Specializations. J. Funct. Log. Program. 1996(4) (1996) - Sandro Etalle, Maurizio Gabbrielli:
On the Correctness of the Replacement Operation for CLP Modules. J. Funct. Log. Program. 1996(1) (1996) - Heinz Faßbender, Andrea Mößle, Heiko Vogler:
Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. J. Funct. Log. Program. 1996(2) (1996) - 1995
- John H. G. van Groningen:
Optimizing Mark-Scan Garbage Collection. J. Funct. Log. Program. 1995(2) (1995) - A. Reza Haydarlou, Pieter H. Hartel:
Thunk Lifting: Reducing Heap Usage in an Implementation of a Lazy Functional Language. J. Funct. Log. Program. 1995(1) (1995)