ResearcherID Thomson Reuters  

Ahn, Ki Yung
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: A-9713-2016
Other Names: Ahn, K. Y.; Ahn, KY
URL: http://www.researcherid.com/rid/A-9713-2016
ORCID: http://orcid.org/0000-0002-7171-7979
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  1  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: A framework for testing first-order logic axioms in program verification
 Author(s): Ahn, Ki Yung; Denney, Ewen
 Source: Software Quality Journal Volume: 21 Issue: 1 Pages: 159-200 Published: 2013
 Times Cited: 1
 DOI: 10.1007/s11219-011-9168-1
added
20-Jan-16
2.  Title: A Hierarchy of Mendler style Recursion Combinators Taming Inductive Datatypes with Negative Occurrences
 Author(s): Ahn, Ki Yung; Sheard, Tim
 Source: Acm Sigplan Notices Volume: 46 Issue: 9 Pages: 234-246 Published: 2011
 Times Cited: 1
 DOI: 10.1145/2034574.2034807
added
20-Jan-16
3.  Title: A Hierarchy of Mendler style Recursion Combinators Taming Inductive Datatypes with Negative Occurrences
 Author(s): Ahn, Ki Yung; Sheard, Tim; Acm,
 Source: Icfp 11 - Proceedings of the 2011 Acm Sigplan: International Conference on Functional Programming Pages: 234-246 Published: 2011
 Times Cited: 1
added
20-Jan-16
4.  Title: Testing First-Order Logic Axioms in Program Verification
 Author(s): Ahn, Ki Yung; Denney, Ewen
 Source: Test and Proofs, Proceedings Volume: 6143 Pages: 22-37 Published: 2010
 Times Cited: 1
added
20-Jan-16
5.  Title: Shared Subtypes: Subtyping Recursive Parametrized Algebraic Data Types
 Author(s): Ahn, Ki Yung; Sheard, Tim
 Source: Acm Sigplan Notices Volume: 44 Issue: 2 Pages: 75-86 Published: 2009
 Times Cited: 0
added
20-Jan-16
6.  Title: Shared Subtypes: Subtyping Recursive Parametrized Algebraic Data Types
 Author(s): Ahn, Ki Yung; Sheard, Tim; Acm,
 Source: Haskell'08: Proceedings of the Acm Sigplan 2008 Haskell Symposium Pages: 75-86 Published: 2008
 Times Cited: 1
added
20-Jan-16
publication(s)  
First Page Previous Page Page   of  1  Go Next Page Last Page
  Sort by:    Results per page: