Joomy Korkut

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 2

Top Topics

Three Dimensional

General Purpose

Object Oriented

Top Venues

Publications

Joomy Korkut
A Proof Tree Builder for Sequent Calculus and Hoare Logic. CoRR (2023)
Joomy Korkut, David Thrane Christiansen
Extensible type-directed editing. TyDe@ICFP (2018)