Follow
Joomy Korkut
Title
Cited by
Cited by
Year
Intrinsic Verification of a Regular Expression Matcher
J Korkut, M Trifunovski, DR Licata
52016
Morphology and lexicon-based machine translation of Ottoman Turkish to Modern Turkish
J Korkut
Princeton University, Princeton, NJ, USA, 2019
42019
Extensible Type-Directed Editing
J Korkut, DT Christiansen
3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018
42018
Edit-Time Tactics in Idris
J Korkut
Wesleyan University, 2018
32018
A Proof Tree Builder for Sequent Calculus and Hoare Logic
J Korkut
Theorem Proving Components for Educational Software, 2022
12022
Commanding Emacs from Coq
J Korkut
The system can't perform the operation now. Try again later.
Articles 1–6