hazel.bib

@inproceedings{conf/popl/Hazelnut17,
  author    = {Cyrus Omar and Ian Voysey and Michael Hilton and Jonathan Aldrich and Matthew A. Hammer},
  title     = {{Hazelnut: A Bidirectionally Typed Structure Editor Calculus}},
  booktitle = {44th {ACM} {SIGPLAN} Symposium on
               Principles of Programming Languages ({POPL} 2017)},
  year      = {2017}
}

@inproceedings{DBLP:conf/snapl/OmarVHSGAH17,
  author    = {Cyrus Omar and
               Ian Voysey and
               Michael Hilton and
               Joshua Sunshine and
               Claire {Le Goues} and
               Jonathan Aldrich and
               Matthew A. Hammer},
  title     = {Toward Semantic Foundations for Program Editors},
  booktitle = {Summit on Advances in Programming Languagess ({SNAPL})},
  series    = {LIPIcs},
  volume    = {71},
  pages     = {11:1--11:12},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}

@article{conf/popl/HazelnutLive19,
  author    = {Cyrus Omar and
               Ian Voysey and
               Ravi Chugh and
               Matthew A. Hammer},
  title     = {Live Functional Programming with Typed Holes},
  journal   = {{PACMPL}},
  volume    = {3},
  number    = {{POPL}},
  _pages     = {14:1--14:28},
  year      = {2019},
  url       = {http://doi.acm.org/10.1145/3290327},
  doi       = {10.1145/3290327},
}

@article{DBLP:journals/pacmpl/LubinCOC20,
  author    = {Justin Lubin and
               Nick Collins and
               Cyrus Omar and
               Ravi Chugh},
  title     = {Program sketching with live bidirectional evaluation},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {4},
  number    = {{ICFP}},
  pages     = {109:1--109:29},
  year      = {2020},
  url       = {https://doi.org/10.1145/3408991},
  doi       = {10.1145/3408991},
  timestamp = {Wed, 17 Feb 2021 08:54:13 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/LubinCOC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/OmarMBVCC21,
  author    = {Cyrus Omar and
               David Moon and
               Andrew Blinn and
               Ian Voysey and
               Nick Collins and
               Ravi Chugh},
  editor    = {Stephen N. Freund and
               Eran Yahav},
  title     = {Filling typed holes with live GUIs},
  booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
               Language Design and Implementation, Virtual Event, Canada, June 20-25,
               20211},
  pages     = {511--525},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3453483.3454059},
  doi       = {10.1145/3453483.3454059},
  timestamp = {Mon, 21 Jun 2021 13:42:02 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/OmarMBVCC21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}