Reference

2017
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, and Matthew A. Hammer
POPL 2017: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

BibTeX

@string{POPL = "ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)"}
@inproceedings{hazelnut-popl17,
  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},
}