WRS accepted papers

Regular papers

Elvira Albert, Polytechnic U of Valencia, Spain; Michael Hanus, U Kiel, Germany; Frank Huch, U Kiel, Germany; Javier Oliver, Polytechnic U of Valencia, Spain; and Germán Vidal, Polytechnic U of Valencia, Spain
Operational semantics for lazy functional logic programs

Mauricio Ayala-Rincón, U Brasilia, Brazil; Rinaldi Maya Neto, U Brasilia, Brazil; Ricardo P. Jacobi, U Brasilia, Brazil; Carlos Llanos, IESB Brasilia, Brazil; and Reiner Hartenstein, U Kaiserslautern, Germany
Applying ELAN strategies in simulation processors over simple architectures

John Glauert, UEA Norwich, UK and Zurab Khasidashvili, Bar-Ilan U, Israel
An abstract Böhm-normalization

William L. Harrison and Richard B. Kieburtz, Oregon Health and Science U, USA
Pattern-driven reduction in Haskell

Ralf Laemmel, CWI Amsterdam, The Netherlands
The sketch of a polymorphic symphony

Karina Olmos and Eelco Visser, Utrecht U, The Netherlands
Strategies for source-to-source constant propagation

Pierre Réty and Julie Vuotto, U Orléans, France
Regular sets of descendants by leftmost strategy

Mark van den Brand, Paul Klint, and Jurgen Vinju; CWI Amsterdam, The Netherlands
Term rewriting with type-safe traversal functions