| 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 | 35 | 2012 |
| 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 | 34 | 2013 |
| 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 | 27 | 2011 |
| 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 | 22 | 2018 |
| 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 | 13* | 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 | 11 | 2010 |
| A framework for testing first-order logic axioms in program verification KY Ahn, E Denney Software Quality Journal 21, 159-200, 2013 | 9 | 2013 |
| 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 | 8 | 2014 |
| Executable Relational Specifications of Polymorphic Type Systems Using Prolog KY Ahn, A Vezzosi Functional and Logic Programming 9613, 109-125, 2016 | 7 | 2016 |
| 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 | 7 | 2013 |
| 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 | 4 | 2021 |
| Parallelization of a Purely Functional Bisimulation Algorithm KY Ahn Journal of The Korea Society of Computer and Information 26 (1), 11-17, 2021 | 3 | 2021 |
| 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 | 3 | 2008 |
| Generating witness of non-bisimilarity for the pi-calculus KY Ahn, R Horne, A Tiu arXiv preprint arXiv:1705.10908, 2017 | 1 | 2017 |
| Cache Coherence Protocol verification using Ωmega KY Ahn http://www.pdx.edu/sites/www.pdx.edu.computer-science/files/tr0802.pdf, 2008 | 1 | 2008 |
| 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 |
| Testing First-Order Logic Axioms in AutoCert KY Ahn, E Denney The Seventh Asian Symposium on Programming, 2009 | | 2009 |
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
