Author:
Cunha Alcino,Pinto Jorge Sousa,Proença José
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Backus, J.: Can programming be liberated from the von Neumann style? a functional style and its algebra of programs. Communications of the ACM 21(8), 613–641 (1978)
2. Bird, R.: The promotion and accumulation strategies in transformational programming. ACM Transactions on Programming Languages and Systems 6(4), 487–504 (1984)
3. Cunha, A.: Point-free Program Calculation. PhD thesis, Departamento de Informática, Universidade do Minho (2005)
4. Cunha, A., Pinto, J.S.: Point-free program transformation. Fundamenta Informaticae 66(4), 315–352 (2005); Special Issue on Program Transformation
5. Curien, P.-L.: Categorical Combinators, Sequential Algorithms, and Functional Programming, 2nd edn. Birkhuser (1993)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generic Point-free Lenses;Lecture Notes in Computer Science;2010
2. Denotation by Transformation;Logic-Based Program Synthesis and Transformation;2008
3. Strongly Typed Rewriting For Coupled Software Transformation;Electronic Notes in Theoretical Computer Science;2007-04