Abstract is missing.
- A Design Space for Integrating Declarative LanguagesJohn Darlington, Yike Guo, Helen Pull. 3-19
- Introducing Constraint Functional Logic ProgrammingJohn Darlington, Yike Guo, Helen Pull. 20-34
- How to Use Guarded Functional ProgrammingRoland Dietrich. 35-50
- Enriching Prolog with S-UnificationAndreas Kågedal, Feliks Kluzniak. 51-65
- A Tiny Functional Language with Logical FeaturesRoss Paterson. 66-79
- Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and InteractionT. C. Nicholas Graham. 83-100
- Eight Queens Divided: an Experience in Parallel Functional ProgrammingKoen Langendoen, Willem G. Vree. 101-115
- Intelligent Backtracking in And-Parallel PrologAndrew Verden, Hugh Glaser. 116-130
- Parameterized Interfaces are Interfaces - AIASSophia Drossopoulou, Ross Paterson, Susan Eisenbach. 133-147
- Type Classes are Signatures of Abstract TypesKonstantin Läufer, Martin Odersky. 148-162
- Syntactic and Semantic Inheritance in Logic ProgrammingLuís Monteiro, António Porto. 163-173
- A Survey of the Implementations of NarrowingP. H. Cheong, Laurent Fribourg. 177-187
- A Systematic Method for Designing Abstract Narrowing MachinesHendrik C. R. Lock. 188-203
- Some Algorithms for Fast and Complete Execution of Logic ProgramsRoland Olsson. 204-223
- A Common Graphical FormDavid Parrott, Chris D. Clack. 224-238
- Generating Efficient Portable Code for a Strict Applicative LanguageWolfram Schulte, Wolfgang Grieskamp. 239-252
- More Advice on Proving a Compiler Correct: Improve a Correct CompilerErik Meijer. 255-273
- Pers as Types, Inductive Types and Types with LawsEd Voermans. 274-291
- Failure Analysis Based on Abstract InterpretationMarc-Michel Corsini, Kaninda Musumbu. 295-309
- Sequentializing Parallel ProgramsMark Korsloot, Evan Tick. 310-324