Journals in DBLP

Journal of Functional and Logic Programming
2002, volume: 2002, number:

1. Elvira Albert, Michael Hanus, Germán Vidal
   A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. [Citation Graph (0, 0)][DBLP]
   Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
   
2. Pierre Deransart, Jan-Georg Smaus
   Subject Reduction of Logic Programs as Proof-Theoretic Property. [Citation Graph (0, 0)][DBLP]
   Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
   
3. Herbert Kuchen, Kazunori Ueda
   Editorial: Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
   Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
   
4. Aart Middeldorp, Taro Suzuki, Mohamed Hamada
   Complete Selection Functions for a Lazy Conditional Narrowing Calculus. [Citation Graph (0, 0)][DBLP]
   Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
   
5. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
   A Simply Typed Context Calculus with First-class Environments. [Citation Graph (0, 0)][DBLP]
   Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]