Journal of Functional and Logic Programming, Volume 2002

Volume 2002, 2002

• Herbert Kuchen, Kazunori Ueda:
  Editorial: Functional and Logic Programming.
  Electronic Edition (link) BibTeX
• Elvira Albert, Michael Hanus, Germán Vidal:
  A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages.
  Electronic Edition (link) BibTeX
• Pierre Deransart, Jan-Georg Smaus:
  Subject Reduction of Logic Programs as Proof-Theoretic Property.
  Electronic Edition (link) BibTeX
• Aart Middeldorp, Taro Suzuki, Mohamed Hamada:
  Complete Selection Functions for a Lazy Conditional Narrowing Calculus.
  Electronic Edition (link) BibTeX
• Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama:
  A Simply Typed Context Calculus with First-class Environments.
  Electronic Edition (link) BibTeX