Hazelnut: a bidirectionally typed structure editor calculus

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2017
Source ID
10.1145/3009837.3009900

Entities

People

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

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • National Security Agency
  • Oregon State University
  • University of Colorado Boulder