Ian Voysey

Identifiers

No identifiers captured yet.

Papers (3)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Cyrus Omar 3 shared papers
• Matthew A. Hammer 3 shared papers
• Jonathan Aldrich 2 shared papers
• Michael Hilton 2 shared papers
• Claire Le Goues 1 shared papers
• Joshua Sunshine 1 shared papers
• Ravi Chugh 1 shared papers