Swapping arguments and results of recursive functions (2006)

by A Morihata, K Kakehi, Z Hu, M Takeichi
Venue:In Mathematics of Program Construction, Proceedings, volume 4014 of LNCS