Ki Yung Ahn

According to our database, Ki Yung Ahn authored at least 13 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic.

Ki Yung Ahn, Ross Horne, Alwen Tiu

Log. Methods Comput. Sci., 2021

2018

Quasi-Open Bisimilarity with Mismatch is Intuitionistic.

Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Generating Witness of Non-Bisimilarity for the pi-Calculus.

Ki Yung Ahn, Ross Horne, Alwen Tiu

CoRR, 2017

A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic.

Ki Yung Ahn, Ross Horne, Alwen Tiu

CoRR, 2017

An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism.

Ki Yung Ahn

CoRR, 2017

2016

Executable Relational Specifications of Polymorphic Type Systems Using Prolog.

Ki Yung Ahn, Andrea Vezzosi

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2013

A framework for testing first-order logic axioms in program verification.

Ki Yung Ahn, Ewen Denney

Softw. Qual. J., 2013

System F _<i>i</i>.

Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

2012

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Equational reasoning about programs with general recursion and call-by-value semantics.

Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011

A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences.

Ki Yung Ahn, Tim Sheard

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Testing First-Order Logic Axioms in Program Verification.

Ki Yung Ahn, Ewen Denney

Proceedings of the Tests and Proofs - 4th International Conference, 2010

2008

Shared subtypes: subtyping recursive parametrized algebraic data types.

Ki Yung Ahn, Tim Sheard

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008