Bidirectionalization transformation based on automatic derivation of view complement functions.
https://doi.org/10.1145/1291151.1291162
@inproceedings{DBLP:conf/icfp/MatsudaHNHT07,
author = {Kazutaka Matsuda and
Zhenjiang Hu and
Keisuke Nakano and
Makoto Hamana and
Masato Takeichi},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Bidirectionalization transformation based on automatic derivation
of view complement functions},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {47--58},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291162},
doi = {10.1145/1291151.1291162},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MatsudaHNHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签