| Invited Papers |
| The Metalanguage?-Prolog and Its Implementation / Gopalan Nadathur |
| A Scalable Architecture for Proof-Carrying Code / George C. Necula |
| Parameterized Logic Programs where Computing Meets Learning / Taisuke Sato |
| Functional Programming |
| Proving Syntactic Properties of Exceptions in an Ordered Logical Framework / Jeff Polakow ; Kwangkeun Yi |
| A Higher-Order Colon Translation / Olivier Danvy ; Lasse R. Nielsen |
| Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine / Kwanghoon Choi ; Hyun-il Lim ; Taisook Han |
| Logic Programming |
| A Higher-Order Logic Programming Language with Constraints / Javier Leach ; Susana Nieva |
| Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and ? Prolog - A Case-study / Giorgio Delzanno |
| An Effective Bottom-Up Semantics for First-Order Linear Logic Programs / Marco Bozzano ; Maurizio Martelli |
| Functional Logic Programming |
| A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs / Jesús M. Almendros-Jiménez ; Antonio Becerra-Terón |
| Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs / Rafael Caballero ; Francisco J. López-Fraguas ; Mario Rodr'iguez-Artalejo |
| Adding Linear Constrains over Real Numbers to Curry / Wolfgang Lux |
| A Complete Selection Function for Lazy Conditional Narrowing / Taro Suzuki ; Aart Middeldorp |
| An Abstract Machine Based System for a Lazy Narrowing Calculus / Teresa Hortalá-González ; Eva Ullán |
| Incremental Learning of Functional Logic Programs / César Ferri-Ramirez ; José Hermandez-Orallo ; Maria José Ramirez-Quintana |
| Types |
| A General Type Inference Framework for Hindley/Milner Style Systems / Martin Sulzmann |
| Monadic Encapsulation with Stack of Regions / Koji Kagawa |
| Well-Typed Logic Programs Are not Wrong / Pierre Deransart ; Jan-Georg Smaus |
| Program Analysis and Transformation |
| A Framework for Analysis of Typed Logic Programs / Vitaly Lagoon ; Peter J. Stuckey |
| Abstract Compilation for Sharing Analysis / Gianluca Amato ; Fausto Spoto |
| A Practical Partial Evaluator for a Multi-Paradigm Declarative Language / Elvira Albert ; Michael Hanus ; German Vidal |
| A Simple Take on Typed Abstract Syntax in ML-like Languages / Morten Rhiger |
| ?-Calculus |
| A Simply Typed Context Calculus with First-Class Environments / Masahiko Sato ; Takafumi Sakurai ; Yukiyoshi Kameyama |
| Refining the Barendregt Cube Using Parameters / Twan Laan ; Fairouz Kamareddine ; Rob Nederpelt |
| Author Index |
| Invited Papers |
| The Metalanguage?-Prolog and Its Implementation / Gopalan Nadathur |
| A Scalable Architecture for Proof-Carrying Code / George C. Necula |
図書
