Deriving Structural Hylomorphisms From Recursive Definitions.
https://doi.org/10.1145/232627.232637
@inproceedings{DBLP:conf/icfp/HuIT96,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
editor = {Robert Harper and
Richard L. Wexelblat},
title = {Deriving Structural Hylomorphisms From Recursive Definitions},
booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
May 24-26, 1996},
pages = {73--82},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/232627.232637},
doi = {10.1145/232627.232637},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HuIT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签