A Framework for Point-Free Program Transformation
From MaRDI portal
Publication:3623946
DOI10.1007/11964681_1zbMath1236.68025OpenAlexW1816482500MaRDI QIDQ3623946
Alcino Cunha, Jorge Sousa Pinto, José Proença
Publication date: 28 April 2009
Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1822/14350
Related Items (4)
Algebraic Specialization of Generic Functions for Recursive Types ⋮ Transformation of structure-shy programs with application to XPath queries and strategic functions ⋮ Denotation by Transformation ⋮ Strongly Typed Rewriting For Coupled Software Transformation
This page was built for publication: A Framework for Point-Free Program Transformation
