Ki Yung Ahn

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