Abstract is missing.
- Calculate Polytypically!Lambert G. L. T. Meertens. 1-16
- Limits of ML-DefinabilityStefan Kahrs. 17-31
- Functorial MLGianna Bellè, C. Barry Jay, Eugenio Moggi. 32-46
- Parametric Polymorphism for Typed Prolog and lambda-PrologPascale Louvet, Olivier Ridoux. 47-61
- GOTA Algebras: A Specification Formalism for Inheritance and Object HierarchiesJoaquín Mateos-Lago, Mario Rodríguez-Artalejo. 62-76
- Towards Independent And-Parallelism in CLPMaria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo. 77-91
- Annotated Structure Shape Graphs for Abstract Analysis of PrologGeoffrey Weyer, William H. Winsborough. 92-106
- A Reactive Implementation of Pos Using ROBDDsRoberto Bagnara. 107-121
- Dynamic Attribute GrammarsDidier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris. 122-136
- Logic Program Specialisation: How To Be More SpecificMichael Leuschel, Danny De Schreye. 137-151
- Controlling Conjunctive Partial DeductionRobert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen. 152-166
- Unfold/Fold Transformations of Concurrent ProcessesNicoletta De Francesco, Antonella Santone. 167-181
- Semantics-Based Compiling: A Case Study in Type-Directed Partial EvaluationOlivier Danvy, René Vestergaard. 182-197
- Implementing Memoization for Partial EvaluationPeter Thiemann. 198-212
- Higher Order DeforestationGeoff W. Hamilton. 213-227
- Scheduling Expression DAGs for Minimal Register NeedChristoph W. Keßler. 228-242
- Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling StrategiesJuliana Freire, Terrance Swift, David Scott Warren. 243-258
- Program Sharing: A New Implementation Approach for PrologXining Li. 259-273
- Systematic Extraction and Implementation of Divide-and-Conquer ParallelismSergei Gorlatch. 274-288
- Functional Skeletons Generate Process Topologies in EdenLuis A. Galán, Cristóbal Pareja, Ricardo Pena. 289-303
- ProFun - A Language for Executable SpecificationsThomas Gehrke, Michaela Huhn. 304-318
- From Term Rewriting to Generalised Interaction NetsMaribel Fernández, Ian Mackie. 319-333
- Type Isomorphisms for Module SignaturesMaria Virginia Aponte, Roberto Di Cosmo. 334-346
- Decidability of Logic Program Semantics and Applications to TestingSalvatore Ruggieri. 347-362
- PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI ProgrammingEnno Scholz. 363-377
- Generalized beta-Reduction and Explicit SubstitutionFairouz Kamareddine, Alejandro Ríos. 378-392
- Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit SubstitutionZine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose. 393-407
- Context-Sensitive Computations in Confluent ProgramsSalvador Lucas. 408-422
- Models for Using Stochastic Constraint Solvers in Constraint Logic ProgrammingPeter J. Stuckey, Vincent Tam. 423-437
- Integrating Efficient Records into Concurrent Constraint ProgrammingPeter Van Roy, Michael Mehl, Ralf Scheidhauer. 438-453
- The LOL Deductive Database Programming Language (Extended Abstract)Mengchi Liu. 454-468
- An Efficient and Precise Sharing Domain for Logic ProgramsChristian Fecht. 469-470
- Cheap Tupling in Calculational FormZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. 471-472
- Needed Narrowing in Prolog (Extended Abstract)Sergio Antoy. 473-474
- Automatic Optimization of Dynamic Scheduling in Logic ProgramsGermán Puebla, Manuel V. Hermenegildo. 475-476
- Oz Explorer: A Visual Constraint Programming ToolChristian Schulte. 477-478