bibliography.bib

@inproceedings{hazelnut:popl,
  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 = {POPL},
 year = {2017},
 location = {Paris, France},
 numpages = {15},
 url      = {http://arxiv.org/abs/1607.04180}
}

@phdthesis{norell:thesis,
  author  = {Ulf Norell},
  title	  = {Towards a practical programming language based on dependent type
	     theory},
  school  = {Chalmers University of Technology},
  year	  = 2007
}

@article{DBLP:journals/tocl/NanevskiPP08,
  author    = {Aleksandar Nanevski and
               Frank Pfenning and
               Brigitte Pientka},
  title     = {Contextual modal type theory},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {9},
  number    = {3},
  year      = {2008},
  _url       = {http://doi.acm.org/10.1145/1352582.1352591},
  _doi       = {10.1145/1352582.1352591},
  timestamp = {Tue, 10 Jun 2008 13:15:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tocl/NanevskiPP08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{burckhardt2013s,
  author    = {Sebastian Burckhardt and
               Manuel F{\"{a}}hndrich and
               Peli de Halleux and
               Sean McDirmid and
               Michal Moskal and
               Nikolai Tillmann and
               Jun Kato},
  title     = {It's alive! continuous feedback in {UI} programming},
  booktitle = {PLDI},
  _pages     = {95--104},
  year      = {2013},
  _url       = {http://doi.acm.org/10.1145/2462156.2462170},
  __doi       = {10.1145/2462156.2462170},
  timestamp = {Sun, 09 Jun 2013 12:32:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pldi/BurckhardtFHMMTK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}