Hazelnut: a bidirectionally typed structure editor calculus.

Cyrus Omar Ian Voysey Michael Hilton Jonathan Aldrich Matthew A. Hammer

Published in: POPL (2017)

Keyphrases

higher order
feature selection
case study
search algorithm
knowledge representation
hierarchical structure
geometric structure
complex structures
algebraic structure