POPL 2017 : Hazelnut: A Bidirectionally Typed Structure Editor Calculus

Reference

2017

detail
pdf

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},
}