Jonathan Aldrich

Identifiers

No identifiers captured yet.

Papers (2)

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

Mentions

No mention provenance yet.

Frequent Coauthors

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