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 |