Pages that link to "Item:Q3608646"
From MaRDI portal
The following pages link to Multi-paradigm Declarative Languages (Q3608646):
Displayed 15 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Programming with narrowing: a tutorial (Q968524) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- Safe typing of functional logic programs with opaque patterns and local bindings (Q2437797) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- Transforming Functional Logic Programs into Monadic Functional Programs (Q3003513) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
- Functional-Logic Graph Parser Combinators (Q3522023) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- Functional Logic Programming in Maude (Q5403075) (← links)
- Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)
- A liberal type system for functional logic programs (Q5740645) (← links)