Pages that link to "Item:Q2843609"
From MaRDI portal
The following pages link to Term rewriting with type-safe traversal functions (Q2843609):
Displaying 8 items.
- Origin tracking (Q1322842) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Generic type-preserving traversal strategies (Q2841223) (← links)
- A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
- Scoped dynamic rewrite rules (Q2841252) (← links)
- Term rewriting with type-safe traversal functions (Q2843609) (← links)
- Programmable rewriting strategies in Haskell (white paper) (Q2849586) (← links)