Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi. Swapping Arguments and Results of Recursive Functions. In Tarmo Uustalu, editor, Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Volume 4014 of Lecture Notes in Computer Science, pages 379-396, Springer, 2006. [doi]
Abstract is missing.