Author:
Pacheco Hugo,Cunha Alcino
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Backhouse, R., Doornbos, H.: Mathematics of recursive program construction. Manuscript (2001), http://www.cs.nott.ac.uk/rcb/MPC/papers
2. 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)
3. Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Transactions on Database Systems 6(4), 557–575 (1981)
4. Lecture Notes in Computer Science;P. Berdaguer,2006
5. Bird, R., de Moor, O.: The Algebra of Programming. Prentice-Hall, Englewood Cliffs (1997)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
2. Contract lenses: Reasoning about bidirectional programs via calculation;Journal of Functional Programming;2023
3. Generic recursive lens combinators and their calculation laws;Theoretical Computer Science;2022-04
4. Embedding invertible languages with binders: a case of the FliPpr language;Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell;2018-09-17
5. BiGUL: a formally verified core language for putback-based bidirectional programming;Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2016-01-11