The following pages link to (Q5472878):
Displaying 5 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Point-free substitution (Q1924634) (← links)
- A Framework for Point-Free Program Transformation (Q3623946) (← links)
- Constraint-aware Schema Transformation (Q5166635) (← links)
- Denotation by Transformation (Q5504595) (← links)