Michael Hilton

Identifiers

No identifiers captured yet.

Papers (2)

1. Toward Semantic Foundations for Program Editors cs.PL · 2017 · author #3
2. Hazelnut: A Bidirectionally Typed Structure Editor Calculus cs.PL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Cyrus Omar 2 shared papers
• Ian Voysey 2 shared papers
• Jonathan Aldrich 2 shared papers
• Matthew A. Hammer 2 shared papers
• Claire Le Goues 1 shared papers
• Joshua Sunshine 1 shared papers