5. FLOPS 2001: Tokyo, Japan

@proceedings{DBLP:conf/flops/2001,
  editor    = {Herbert Kuchen and
               Kazunori Ueda},
  title     = {Functional and Logic Programming, 5th International Symposium,
               FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
  booktitle = {FLOPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2024},
  year      = {2001},
  isbn      = {3-540-41739-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Gopalan Nadathur:
  The Metalanguage lambda-Prolog and Its Implementation. 1-20
  Electronic Edition (Springer LINK) BibTeX
• George C. Necula:
  A Scalable Architecture for Proof-Carrying Code. 21-39
  Electronic Edition (Springer LINK) BibTeX
• Taisuke Sato:
  Parameterized Logic Programs where Computing Meets Learning. 40-60
  Electronic Edition (Springer LINK) BibTeX

Functional Programming

• Jeff Polakow, Kwangkeun Yi:
  Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. 61-77
  Electronic Edition (Springer LINK) BibTeX
• Olivier Danvy, Lasse R. Nielsen:
  A Higher-Order Colon Translation. 78-91
  Electronic Edition (Springer LINK) BibTeX
• Kwanghoon Choi, Hyun-il Lim, Taisook Han:
  Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. 92-107
  Electronic Edition (Springer LINK) BibTeX

Logic Programming

• Javier Leach, Susana Nieva:
  A Higher-Order Logic Programming Language with Constraints. 108-122
  Electronic Edition (Springer LINK) BibTeX
• Giorgio Delzanno:
  Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. 123-137
  Electronic Edition (Springer LINK) BibTeX
• Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
  An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. 138-152
  Electronic Edition (Springer LINK) BibTeX

Functional Logic Programming

• Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
  A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. 153-169
  Electronic Edition (Springer LINK) BibTeX
• Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo:
  Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. 170-184
  Electronic Edition (Springer LINK) BibTeX
• Wolfgang Lux:
  Adding Linear Constraints over Real Numbers to Curry. 185-200
  Electronic Edition (Springer LINK) BibTeX
• Taro Suzuki, Aart Middeldorp:
  A Complete Selection Function for Lazy Conditional Narrowing. 201-215
  Electronic Edition (Springer LINK) BibTeX
• Maria Teresa Hortalá-González, Eva Ullán:
  An Abstract Machine Based System for a Lazy Narrowing Calculus. 216-232
  Electronic Edition (Springer LINK) BibTeX
• César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
  Incremental Learning of Functional Logic Programs. 233-247
  Electronic Edition (Springer LINK) BibTeX

Types

• Martin Sulzmann:
  A General Type Inference Framework for Hindley/Milner Style Systems. 248-263
  Electronic Edition (Springer LINK) BibTeX
• Koji Kagawa:
  Monadic Encapsulation with Stack of Regions. 264-279
  Electronic Edition (Springer LINK) BibTeX
• Pierre Deransart, Jan-Georg Smaus:
  Well-Typed Logic Programs Are not Wrong. 280-295
  Electronic Edition (Springer LINK) BibTeX

Program Analysis and Transformation

• Vitaly Lagoon, Peter J. Stuckey:
  A Framework for Analysis of Typed Logic Programs. 296-310
  Electronic Edition (Springer LINK) BibTeX
• Gianluca Amato, Fausto Spoto:
  Abstract Compilation for Sharing Analysis. 311-325
  Electronic Edition (Springer LINK) BibTeX
• Elvira Albert, Michael Hanus, Germán Vidal:
  A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. 326-342
  Electronic Edition (Springer LINK) BibTeX
• Olivier Danvy, Morten Rhiger:
  A Simple Take on Typed Abstract Syntax in Haskell-like Languages. 343-358
  Electronic Edition (Springer LINK) BibTeX

lambda-Calculus

• Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama:
  A Simply Typed Context Calculus with First-Class Environments. 359-374
  Electronic Edition (Springer LINK) BibTeX
• Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
  Refining the Barendregt Cube Using Parameters. 375-390
  Electronic Edition (Springer LINK) BibTeX