Follow
Ki Yung Ahn
Ki Yung Ahn
Assistant Professor of Computer Engineering at Hannam University, Daejeon, Korea
Verified email at hnu.kr - Homepage
Title
Cited by
Cited by
Year
Equational reasoning about programs with general recursion and call-by-value semantics
G KIMMELL, A STUMP, HD EADES, P FU, T SHEARD, S WEIRICH, ...
Progress in Informatics, 19-46, 2013
322013
Irrelevance, heterogeneous equality, and call-by-value dependent type systems
V Sjöberg, C Casinghino, KY Ahn, N Collins, HD Eades III, P Fu, ...
arXiv preprint arXiv:1202.2923, 2012
322012
Equational reasoning about programs with general recursion and call-by-value semantics
G Kimmell, A Stump, HD Eades III, P Fu, T Sheard, S Weirich, ...
Proceedings of the sixth workshop on Programming languages meets program …, 2012
322012
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences
KY Ahn, T Sheard
ICFP '11 Proceedings of the 16th ACM SIGPLAN International Conference on …, 2011
262011
Quasi-open bisimilarity with mismatch is intuitionistic
R Horne, KY Ahn, SW Lin, A Tiu
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
212018
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
KY Ahn, R Horne, A Tiu
28th International Conference on Concurrency Theory (CONCUR 2017) 85, 7:1-7:17, 2017
12*2017
Testing first-order logic axioms in program verification
KY Ahn, E Denney
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain …, 2010
102010
The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types
KY Ahn
Portland State University, 2014
82014
Executable Relational Specifications of Polymorphic Type Systems Using Prolog
KY Ahn, A Vezzosi
Functional and Logic Programming 9613, 109-125, 2016
72016
A framework for testing first-order logic axioms in program verification
KY Ahn, E Denney
Software Quality Journal 21, 159-200, 2013
72013
System Fi: a Higher-Order Polymorphic Lambda Calculus with Erasable Term-Indices
KY Ahn, T Sheard, M Fiore, AM Pitts
Typed Lambda Calculi and Applications, 15-30, 2013
72013
Deterministic Parallelism for Symbolic Execution Programs based on a Name-Freshness Monad Library
KY Ahn
Journal of the Korea Society of Computer and Information 26 (2), 1-9, 2021
32021
Shared subtypes: subtyping recursive parametrized algebraic data types
KY Ahn, T Sheard
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell 44 (2), 75-86, 2008
32008
Parallelization of a Purely Functional Bisimulation Algorithm
KY Ahn
Journal of The Korea Society of Computer and Information 26 (1), 11-17, 2021
22021
Generating witness of non-bisimilarity for the pi-calculus
KY Ahn, R Horne, A Tiu
arXiv preprint arXiv:1705.10908, 2017
12017
Cache Coherence Protocol verification using Ωmega
KY Ahn
http://www.pdx.edu/sites/www.pdx.edu.computer-science/files/tr0802.pdf, 2008
12008
Lock-free unique identifier allocation for parallel macro expansion
HU Son, Bum-Jun (Dept. of Computer Engineering, KY Ahn
Journal of The Korea Society of Computer and Information 27 (4), 1-8, 2022
2022
An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism
KY Ahn
arXiv preprint arXiv:1707.07872, 2017
2017
Executable Specifications of Type Systems using Logic Programming
KY Ahn
CoALP-Ty’16, 13, 2016
2016
Online ISSN: 1349-8606 Progress in Informatics
G KIMMELL, A STUMP, HD EADES, P FU, T SHEARD, S WEIRICH, ...
Progress in Informatics, 19-46, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20