Emil Axelsson, Koen Claessen
Using circular programs for higher-order syntax: functional pearl
ICFP, 2013.
@inproceedings{ICFP-2013-AxelssonC, author = "Emil Axelsson and Koen Claessen", booktitle = "{Proceedings of the 18th International Conference on Functional Programming}", doi = "10.1145/2500365.2500614", editor = "Greg Morrisett and Tarmo Uustalu", isbn = "978-1-4503-2326-0", pages = "257--262", publisher = "{ACM}", title = "{Using circular programs for higher-order syntax: functional pearl}", year = 2013, }