Ki Yung Ahn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2008–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LICS | Quasi-Open Bisimilarity with Mismatch is Intuitionistic. | Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu |
| 2017 | CONCUR | A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. | Ki Yung Ahn, Ross Horne, Alwen Tiu |
| 2016 | FLOPS | Executable Relational Specifications of Polymorphic Type Systems Using Prolog. | Ki Yung Ahn, Andrea Vezzosi |
| 2011 | ICFP | A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. | Ki Yung Ahn, Tim Sheard |
| 2010 | TAP | Testing First-Order Logic Axioms in Program Verification. | Ki Yung Ahn, Ewen Denney |
| 2008 | HASKELL | Shared subtypes: subtyping recursive parametrized algebraic data types. | Ki Yung Ahn, Tim Sheard |