Pages that link to "Item:Q3623946"
From MaRDI portal
The following pages link to A Framework for Point-Free Program Transformation (Q3623946):
Displaying 4 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Strongly Typed Rewriting For Coupled Software Transformation (Q2864515) (← links)
- Algebraic Specialization of Generic Functions for Recursive Types (Q5166621) (← links)
- Denotation by Transformation (Q5504595) (← links)