Pages that link to "Item:Q1035699"
From MaRDI portal
The following pages link to On the algebraic structure of declarative programming languages (Q1035699):
Displaying 17 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- Constraint logic programming with a relational machine (Q511023) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- An algebraically specified language for data directed design (Q751297) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Algorithms and proofs inheritance in the FOC language (Q1868513) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Declarative programming: a logical view (Q2841254) (← links)
- Declarative Compilation for Constraint Logic Programming (Q2949715) (← links)
- On display optimization for Algol-like languages (Q3031914) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- (Q3347253) (← links)
- On the algebraic definition of programming languages (Q3763565) (← links)
- (Q3809233) (← links)
- (Q3829053) (← links)
- Optimal multibinding unification for sharing and linearity analysis (Q5418949) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)