- Olivier Danvy, Ulrik Pagh Schultz. Lambda-Lifting in Quadratic Time. Journal of Functional and Logic Programming, 2004, 2004.
- Zhenjiang Hu, Mario Rodríguez-Artalejo. Editorial: the Sixth International Symposium on Functional and Logic Programming. Journal of Functional and Logic Programming, 2003, 2003.
- Rafael Caballero, Francisco Javier López-Fraguas. Improving Deterministic Computations in Lazy Functional Logic Languages. Journal of Functional and Logic Programming, 2003, 2003.
- Eijiro Sumii, Hideo Bannai. The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. Journal of Functional and Logic Programming, 2003, 2003.
- Miguel García-Díaz, Susana Nieva. Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms. Journal of Functional and Logic Programming, 2003, 2003.
- Herbert Kuchen, Kazunori Ueda. Editorial: Functional and Logic Programming. Journal of Functional and Logic Programming, 2002, 2002.
- Elvira Albert, Michael Hanus, Germán Vidal. A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming, 2002, 2002.
- Aart Middeldorp, Taro Suzuki, Mohamed Hamada. Complete Selection Functions for a Lazy Conditional Narrowing Calculus. Journal of Functional and Logic Programming, 2002, 2002.
- Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama. A Simply Typed Context Calculus with First-class Environments. Journal of Functional and Logic Programming, 2002, 2002.
- Pierre Deransart, Jan-Georg Smaus. Subject Reduction of Logic Programs as Proof-Theoretic Property. Journal of Functional and Logic Programming, 2002, 2002.