Cyrus Omar

Identifiers

• name variant Cyrus Omar 0.60 · backfill

Papers (4)

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

Mentions

• 2605.31517 #3 · arxiv_oai · confidence 0.70 Cyrus Omar

Frequent Coauthors

• Ian Voysey 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
• Haoxiang Fei 1 shared papers
• Joshua Sunshine 1 shared papers
• Matthew Keenan 1 shared papers
• Ravi Chugh 1 shared papers