| Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. RodrÃguez-Artalejo |
| Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze |
| Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; LucÃlia Figueiredo |
| Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette |
| Lazy Lexing is Fast / Manuel M. T. Chakravarty |
| A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas |
| Implementing Encapsulated Search for a Lazy Functional Logic Language / Wolfgang Lux |
| Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers / Armin Kühnemann |
| Automatic Verification Based on Abstract Interpretation / Mizuhito Ogawa |
| A Transformation System for Lazy Functional Logic Programs / MarÃa Alpuente ; Moreno Falaschi ; Ginés Moreno ; Germán Vidal |
| Termination Analysis of Tabled Logic Programs Using Mode and Type Information / Sofie Verbaeten ; Danny De Schreye |
| On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems / Enno Ohlebusch |
| An Interval Lattice-Based Constraint Solving Framework for Lattices / Antonio J. Fernández ; Patricia M. Hill |
| Higher Order Matching for Program Transformation / Oege de Moor ; Ganesh Sittampalam |
| Automated Generalisation of Function Definitions / Adam Bakewell ; Colin Runciman |
| An Extensional Characterization of Lambda-Lifting and Lambda-Dropping / Olivier Danvy |
| Using Types as Approximations for Type Checking Prolog Programs / Christoph Beierle ; Gregor Meyer |
| Typed Static Analysis: Application to Groundness Analysis of Prolog and ?Prolog / Olivier Ridoux ; Patrice Boizumault ; Frédéric Malésieux |
| A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs / Ernie Johnson ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Prasad Rao |
| The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code / Atsushi Ohori |
| On Reducing the Search Space of Higher-Order Lazy Narrowing.. / Mircea Marin ; Tetsuo Ida ; Taro Suzuki |
| Typed Higher-Order Narrowing without Higher-Order Strategies / Sergio Antoy ; Andrew Tolmach |
| A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages / Michael Hanus ; Salvador Lucas |
| Author Index |
| Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. RodrÃguez-Artalejo |
| Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze |
| Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; LucÃlia Figueiredo |
| Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette |
| Lazy Lexing is Fast / Manuel M. T. Chakravarty |
| A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas |
