Swapping Arguments and Results of Recursive Functions.
https://doi.org/10.1007/11783596_22
@inproceedings{DBLP:conf/mpc/MorihataKHT06,
author = {Akimasa Morihata and
Kazuhiko Kakehi and
Zhenjiang Hu and
Masato Takeichi},
editor = {Tarmo Uustalu},
title = {Swapping Arguments and Results of Recursive Functions},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {379--396},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_22},
doi = {10.1007/11783596\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MorihataKHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签