Declarative Programming 1991: Sasbachwalden, Germany
John Darlington, Roland Dietrich (Eds.): Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Springer 1992 Workshops in Computing ISBN 3-540-19735-4
Languages and Semantics
- Roland Dietrich: How to Use Guarded Functional Programming. 35-50
- Ross Paterson: A Tiny Functional Language with Logical Features. 66-79
Parallelism and Concurrency
- T. C. Nicholas Graham: Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction. 83-100
- Koen Langendoen, Willem G. Vree: Eight Queens Divided: an Experience in Parallel Functional Programming. 101-115
Modules and Types
- Sophia Drossopoulou, Ross Paterson, Susan Eisenbach: Parameterized Interfaces are Interfaces - AIAS. 133-147
Implementation
- Hendrik C. R. Lock: A Systematic Method for Designing Abstract Narrowing Machines. 188-203
- Roland Olsson: Some Algorithms for Fast and Complete Execution of Logic Programs. 204-223
- Wolfram Schulte, Wolfgang Grieskamp: Generating Efficient Portable Code for a Strict Applicative Language. 239-252
Bird-Meertens Formalism (Squiggol)
- Erik Meijer: More Advice on Proving a Compiler Correct: Improve a Correct Compiler. 255-273
- Ed Voermans: Pers as Types, Inductive Types and Types with Laws. 274-291
Program Analysis
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team