Pages that link to "Item:Q3735058"
From MaRDI portal
The following pages link to The relation between logic and functional languages: a survey (Q3735058):
Displayed 14 items.
- Dynamic detection of determinism in functional logic languages (Q673493) (← links)
- Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
- Accumulators: New logic variable abstractions for functional languages (Q808233) (← links)
- On completeness of narrowing strategies (Q912605) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Logic programming with external procedures: Introducing S-unification (Q1097682) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Logic and functional programming by retractions (Q3817574) (← links)
- A domain-theoretic approach to functional and logic programming (Q4764614) (← links)
- Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction (Q5055714) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)
- Lazy narrowing in a graph machine (Q5096203) (← links)