Hazelnut: a bidirectionally typed structure editor calculus

Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer. Hazelnut: a bidirectionally typed structure editor calculus. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 86-99, ACM, 2017. [doi]

Authors

Cyrus Omar

This author has not been identified. Look up 'Cyrus Omar' in Google

Ian Voysey

This author has not been identified. Look up 'Ian Voysey' in Google

Michael Hilton

This author has not been identified. Look up 'Michael Hilton' in Google

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google

Matthew A. Hammer

This author has not been identified. Look up 'Matthew A. Hammer' in Google