## Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming: PPDP., Volume 5, Part 2003 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Conditional Narrowing without Conditions | 20 |

On Translating Geometric Solids to Functional Expressions | 44 |

Rank 2 Intersection Types for Modules | 67 |

Copyright | |

10 other sections not shown

### Common terms and phrases

abstract machine algebra algorithm analysis AND-OR tree application arguments binding calculus called clauses closure compiler Computer Science conditional consider constructor constructor-based context corresponding Datalog debugger declarative Declarative Programming defined definitional tree denotes derivation disjunctive domain dynamic dynamic binding environment eval evaluation example execution explicit substitution expression expval Figure finite Functional Programming goal graph heap higher-order implementation inductively sequential integer interface lambda lambda calculus Lemma let rec Logic Programming minimal unsatisfiable subsets module multiset names narrowing natural rewriting node normal form operational semantics operations optimization orthogonal predicate Programming Languages Prolog proof query recursive redex reduction result rewrite rules rewriting systems SECD machine Section semantics sequence stack strategy structure subgoal symbol syntactic syntax technique term rewriting term rewriting systems termination Theorem tion transformation translation TRSs tuple type inference type system typing rules update variables