@inproceedings{10.1145/2500365.2500614,
    Address = {New York, NY, USA},
    Author = {Axelsson, Emil and Claessen, Koen},
    BookTitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming},
    File = {Using Circular Programs for Higher-Order Syntax - axelsson2013using - a - j.pdf},
    ISBN = {9781450323260},
    Keywords = {higher-order syntax, embedded languages, circular programming},
    Location = {Boston, Massachusetts, USA},
    Pages = {257--262},
    Publisher = {Association for Computing Machinery},
    Series = {ICFP '13},
    Title = {Using Circular Programs for Higher-Order Syntax: Functional Pearl},
    URL = {https://doi.org/10.1145/2500365.2500614},
    Year = {2013},
    bdsk-url-1 = {https://doi.org/10.1145/2500365.2500614},
    date-added = {2020-05-04 20:32:15 +0200},
    date-modified = {2020-05-04 20:32:15 +0200},
    file-2 = {Using Circular Programs for Higher-Order Syntax - 2500365.2500614 - a - j.pdf},
    numpages = {6},
    doi = {10.1145/2500365.2500614}
}

@inproceedings{10.1145/2500365.2500614, Address = {New York, NY, USA}, Author = {Axelsson, Emil and Claessen, Koen}, BookTitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming}, File = {Using Circular Programs for Higher-Order Syntax - axelsson2013using - a - j.pdf}, ISBN = {9781450323260}, Keywords = {higher-order syntax, embedded languages, circular programming}, Location = {Boston, Massachusetts, USA}, Pages = {257--262}, Publisher = {Association for Computing Machinery}, Series = {ICFP '13}, Title = {Using Circular Programs for Higher-Order Syntax: Functional Pearl}, URL = {https://doi.org/10.1145/2500365.2500614}, Year = {2013}, bdsk-url-1 = {https://doi.org/10.1145/2500365.2500614}, date-added = {2020-05-04 20:32:15 +0200}, date-modified = {2020-05-04 20:32:15 +0200}, file-2 = {Using Circular Programs for Higher-Order Syntax - 2500365.2500614 - a - j.pdf}, numpages = {6}, doi = {10.1145/2500365.2500614} }