Ki Yung Ahn

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 7

Top Topics

Inference Rules

Natural Deduction

Top Venues

Softw. Qual. J.

Publications

Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. Log. Methods Comput. Sci. 17 (3) (2021)
Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu
Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS (2018)
Ki Yung Ahn, Ross Horne, Alwen Tiu
Generating Witness of Non-Bisimilarity for the pi-Calculus. CoRR (2017)
Ki Yung Ahn
An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism. CoRR (2017)
Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. CoRR (2017)
Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. CONCUR (2017)
Ki Yung Ahn, Andrea Vezzosi
Executable Relational Specifications of Polymorphic Type Systems Using Prolog. FLOPS (2016)
Ki Yung Ahn, Ewen Denney
A framework for testing first-order logic axioms in program verification. Softw. Qual. J. 21 (1) (2013)
Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts
. TLCA (2013)
Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
Equational reasoning about programs with general recursion and call-by-value semantics. PLPV (2012)
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems MSFP (2012)
Ki Yung Ahn, Tim Sheard
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. ICFP (2011)
Ki Yung Ahn, Ewen Denney
Testing First-Order Logic Axioms in Program Verification. TAP@TOOLS (2010)
Ki Yung Ahn, Tim Sheard
Shared subtypes: subtyping recursive parametrized algebraic data types. Haskell (2008)