references.bib

@inproceedings{HazelnutPOPL,
 author = {Omar, Cyrus and Voysey, Ian and Hilton, Michael and
           Aldrich, Jonathan and Hammer, Matthew A.},
 title = {Hazelnut: A {B}idirectionally {T}yped {S}tructure {E}ditor {C}alculus},
 booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
 year = {2017},
 sortyear = {2017-1}
}

@article{HazelLive,
author = {Omar, Cyrus and Voysey, Ian and Chugh, Ravi and Hammer, Matthew A.},
title = {Live Functional Programming with Typed Holes},
year = {2019},
issue_date = {January 2019},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {3},
number = {POPL},
url = {https://doi-org.proxy.lib.umich.edu/10.1145/3290327},
doi = {10.1145/3290327},
journal = {Proc. ACM Program. Lang.},
month = jan,
articleno = {14},
numpages = {32},
keywords = {gradual typing, typed holes, structured editing, contextual modal type theory, live programming}
}

@article{findler_drscheme_2002, title={DrScheme: a programming environment for Scheme}, volume={12}, DOI={10.1017/S0956796801004208}, number={2}, journal={Journal of Functional Programming}, publisher={Cambridge University Press}, author={FINDLER, ROBERT BRUCE and CLEMENTS, JOHN and FLANAGAN, CORMAC and FLATT, MATTHEW and KRISHNAMURTHI, SHRIRAM and STECKLER, PAUL and FELLEISEN, MATTHIAS}, year={2002}, pages={159–182}}

@inproceedings{cong_implementing_nodate,
  author    = {Youyou Cong and
               Kenichi Asai},
  editor    = {James H. Davenport and
               Fadoua Ghourabi},
  title     = {Implementing a stepper using delimited continuations},
  booktitle = {7th International Symposium on Symbolic Computation in Software Science,
               {SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
  series    = {EPiC Series in Computing},
  volume    = {39},
  pages     = {42--54},
  publisher = {EasyChair},
  year      = {2016},
  url       = {https://easychair.org/publications/paper/7qlb},
  timestamp = {Wed, 27 May 2020 16:02:35 +0200},
  biburl    = {https://dblp.org/rec/conf/sycss/CongA16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}