BiGUL: a formally verified core language for putback-based bidirectional programming.
https://doi.org/10.1145/2847538.2847544
@inproceedings{DBLP:conf/pepm/KoZH16,
author = {Hsiang{-}Shang Ko and
Tao Zan and
Zhenjiang Hu},
editor = {Martin Erwig and
Tiark Rompf},
title = {BiGUL: a formally verified core language for putback-based bidirectional
programming},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
20 - 22, 2016},
pages = {61--72},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2847538.2847544},
doi = {10.1145/2847538.2847544},
timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
biburl = {https://dblp.org/rec/conf/pepm/KoZH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签