The following pages link to (Q3698293):
Displaying 6 items.
- Synthetic programming (Q761788) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Program morphisms (Q1203125) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations (Q5878908) (← links)
