Author:
Wang Meng,Gibbons Jeremy,Matsuda Kazutaka,Hu Zhenjiang
Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. Lecture Notes in Computer Science;A. Alimarine,2004
2. Alimarine, A., Smetsers, S., van Weelden, A., van Eekelen, M., Plasmeijer, R.: There and back again: Arrows for invertible programming. In: Haskell Workshop, pp. 86–97. ACM, New York (2005)
3. Bird, R.S.: The promotion and accumulation strategies in transformational programming. ACM Transactions on Programming Languages and Systems 6(4), 487–504 (1984)
4. NATO ASI Series F;R.S. Bird,1987
5. Bird, R.S.: A calculus of functions for program derivation. In: Research Topics in Functional Programming, pp. 287–307. Addison-Wesley, Reading (1990)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
2. Applicative bidirectional programming;Journal of Functional Programming;2018
3. Applicative bidirectional programming with lenses;ACM SIGPLAN Notices;2015-12-18
4. “Bidirectionalization for free” for monomorphic transformations;Science of Computer Programming;2015-11
5. Applicative bidirectional programming with lenses;Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming;2015-08-29