Abstract is missing.
- Narrowing the Narrowing SpaceSergio Antoy, Zena M. Ariola. 1-15
- On Object Calculus with Algebraic RewritingAdriana B. Compagnoni, Maribel Fernández. 17-31
- Inheritance and Selective Methods Dispatching in Concurrent HaskellJosé E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz. 33-46
- Overriding Operators in a Mixin-Based FrameworkDavide Ancona, Elena Zucca. 47-61
- Resolution for Logic Programming with Universal QuantifiersAntony F. Bowers, Patricia M. Hill, Francisco Ibañez. 63-77
- A Declarative Approach to Concurrent ProgrammingSteve Gregory. 79-93
- Transformation of Divide & Conquer to Nested Parallel LoopsChristoph A. Herrmann, Christian Lengauer. 95-109
- Transforming Lazy Functions Using Comportment PropertiesRoss Paterson. 111-125
- Transformations for Efficient Evaluations in Functional ProgrammingSalvador Lucas. 127-141
- Inline Expansion: When and How?Manuel Serrano. 143-157
- Higher-Order Value Flow GraphsChristian Mossin. 159-173
- Intuitionistic Implication in Abstract InterpretationRoberto Giacobazzi, Francesca Scozzari. 175-189
- An Open-Ended Finite Domain Constraint SolverMats Carlsson, Greger Ottosson, Björn Carlson. 191-206
- Semantics and Compilation of Recursive Sequential Streams in 8½Jean-Louis Giavitto, Dominique De Vito, Olivier Michel. 207-223
- Implementation of Term Rewritings with the Evaluation StrategyKazuhiro Ogata, Kokichi Futatsugi. 225-239
- Reflections on ReflectionsGilles Barthe, John Hatcliff, Morten Heine Sørensen. 241-258
- Evaluation Under Lambda AbstractionHongwei Xi. 259-273
- Selective Recomputation for Handling Side-Effects in Parallel Logic ProgramsZhiyi Huang, Chengzheng Sun, Abdul Sattar. 275-289
- Tracing Lazy Functional Computations Using Redex TrailsJan Sparud, Colin Runciman. 291-308
- Functional Programming and GeometryGuy Cousineau. 309-322
- Where Do I Begin? A Problem Solving Approach in teaching Functional ProgrammingSimon J. Thompson. 323-334
- Teaching Functional and Logic Programming with a Single Computational ModelMichael Hanus. 335-350
- Logic Implemented FunctionallyNorbert Eisinger, Tim Geisler, Sven Panne. 351-368
- DrScheme: A Pedagogic Programming Environment for SchemeRobby Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen. 369-388
- An Editor for Helping Novices to Learn Standard MLJon Whittle, Alan Bundy, Helen Lowe. 389-405
- Introducing the Declarative DungeonDavid De Roure. 407-417
- A Pragmatic Approach to Compilation of ErlangErik Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth. 419-420
- Formal Translations Described by Translation Grammars with LR(k) Input GrammarsJan Janousek, Borivoj Melichar. 421-422
- Automatic Run-Time Code Generation in Object-Oriented LanguagesNobuhisa Fujinami. 423-424