Abstract is missing.
- A Generic Program for Sequential Decision ProcessesOege de Moor. 1-23
- Parsing Visual Languages with Constraint Multiset GrammarsKim Marriott. 24-25
- Programming with Constructor Classes (Abstract)Mark P. Jones. 26
- Towards a Taxonomy of Functional Languages ImplementationsRémi Douence, Pascal Fradet. 27-44
- A Lambda-Calculus a la de Bruijn with Explicit SubstitutionsFairouz Kamareddine, Alejandro Ríos. 45-62
- A Verified Implementation of NarrowingHeinz Faßbender. 63-80
- A New Strategy for Semantic MatchingBernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing. 81-96
- A Complete Narrowing Calculus for Higher-Order Functional Logic ProgrammingKoichi Nakahara, Aart Middeldorp, Tetsuo Ida. 97-114
- Exploiting Parallelism in Tabled EvaluationsJuliana Freire, Rui Hu, Terrance Swift, David Scott Warren. 115-132
- Design and Implementation of Jump Tables for Fast Indexing of Logic ProgramsSteven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan. 133-150
- An Abstract Machine for OzMichael Mehl, Ralf Scheidhauer, Christian Schulte. 151-168
- Uniform PERs and Comportment AnalysisAlan Mycroft, Kirsten Lackner Solberg. 169-187
- Uniqueness Type InferenceErik Barendsen, Sjaak Smetsers. 189-206
- Modes of Comprehension: Mode Analysis of Arrays and Array ComprehensionsBarton C. Massey, Evan Tick. 207-222
- Better Consumers for Deforestation (Extended Abstract)Wei-Ngan Chin, Siau-Cheng Khoo. 223-240
- Efficient Compile-Time Garbage Collection for Arbitrary Data StructuresMarkus Mohnen. 241-258
- Efficient Multi-level Generating Extensions for Program SpecializationRobert Glück, Jesper Jørgensen. 259-278
- Mechanically Verifying the Correctness of an Offline Partial EvaluatorJohn Hatcliff. 279-298
- A Semantic Model of Binding Times for Safe Partial EvaluationFritz Henglein, David Sands. 299-320
- Gadgets: Lazy Functional Components for Graphical User InterfacesRob Noble, Colin Runciman. 321-340
- Lightweight GUIs for Functional ProgrammingTon Vullinghs, Daniel Tuinman, Wolfram Schulte. 341-356
- Local Linear Logic for Locality Consciousness in Multiset TransformationHugh McEvoy, Pieter H. Hartel. 357-379
- The Notion of Floundering for SLDNF-Resolution RevisitedJean-Hugues Réty. 380-396
- Minimal Set UnificationPuri Arenas-Sánchez, Agostino Dovier. 397-414
- Goal-Directed Query Processing in Disjunctive Logic DatabasesYuka Shimajiri, Hiroshi Seki, Hidenori Itoh. 415-430
- A Dataflow Semantics for Constraint Logic ProgramsLivio Colussi, Elena Marchiori, Massimo Marchiori. 431-448
- A Functional Framework for Deterministically Interleaved Interactive ProgramsPeter Achten. 451-452
- A Debugging Model for Lazy NarrowingPuri Arenas-Sánchez, Ana Gil-Luezas. 453-454
- Evaluation of Expressions in a Multiparadigm FrameworkXavier Burgués Illa, Xavier Franch. 455-456
- An Expression-Or-Parallel Implementation for a Functional Logic LanguageWerner Hans, Fernando Sáenz, Stephan Winkler. 457-458
- Attributed Models of Executable SpecificationsMerik Meriste, Jaan Penjam. 459-460
- Approximating Constraint Logic Programs Using Polymorphic Types and Regular DescriptionsHüseyin Saglam, John P. Gallagher. 461-462
- Performance of A Data-Parallel Concurrent Constraint Programming SystemBo-Ming Tong, Ho-Fung Leung. 463-464
- A Portable Implementation of Memoing EvaluationJens E. Wunderwald. 465-466