Declarative Programming

Keyphrases

Publications

1992

Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 Declarative Programming (1992)

1991

Ed Voermans
Pers as Types, Inductive Types and Types with Laws. Declarative Programming (1991)
Sophia Drossopoulou, Ross Paterson, Susan Eisenbach
Parameterized Interfaces are Interfaces - AIAS. Declarative Programming (1991)
Hendrik C. R. Lock
A Systematic Method for Designing Abstract Narrowing Machines. Declarative Programming (1991)
Roland Olsson
Some Algorithms for Fast and Complete Execution of Logic Programs. Declarative Programming (1991)
Ross Paterson
A Tiny Functional Language with Logical Features. Declarative Programming (1991)
Mark Korsloot, Evan Tick
Sequentializing Parallel Programs. Declarative Programming (1991)
Erik Meijer
More Advice on Proving a Compiler Correct: Improve a Correct Compiler. Declarative Programming (1991)
Koen Langendoen, Willem G. Vree
Eight Queens Divided: an Experience in Parallel Functional Programming. Declarative Programming (1991)
Konstantin Läufer, Martin Odersky
Type Classes are Signatures of Abstract Types. Declarative Programming (1991)
Luís Monteiro, António Porto
Syntactic and Semantic Inheritance in Logic Programming. Declarative Programming (1991)
Roland Dietrich
How to Use Guarded Functional Programming. Declarative Programming (1991)
Marc-Michel Corsini, Kaninda Musumbu
Failure Analysis Based on Abstract Interpretation. Declarative Programming (1991)
Andrew Roy Verden, Hugh Glaser
Intelligent Backtracking in And-Parallel Prolog. Declarative Programming (1991)
Andreas Kågedal, Feliks Kluzniak
Enriching Prolog with S-Unification. Declarative Programming (1991)
P. H. Cheong, Laurent Fribourg
A Survey of the Implementations of Narrowing. Declarative Programming (1991)
John Darlington, Yike Guo, Helen Pull
Introducing Constraint Functional Logic Programming. Declarative Programming (1991)
T. C. Nicholas Graham
Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction. Declarative Programming (1991)
John Darlington, Yike Guo, Helen Pull
A Design Space for Integrating Declarative Languages. Declarative Programming (1991)
David Parrott, Chris D. Clack
A Common Graphical Form. Declarative Programming (1991)
Wolfram Schulte, Wolfgang Grieskamp
Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming (1991)