Ki Yung Ahn

	2012
5		Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich: Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems MSFP 2012: 112-162
4		Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn: Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26
	2011
3		Ki Yung Ahn, Tim Sheard: A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. ICFP 2011: 234-246
	2010
2		Ki Yung Ahn, Ewen Denney: Testing First-Order Logic Axioms in Program Verification. TAP 2010: 22-37
	2008
1		Ki Yung Ahn, Tim Sheard: Shared subtypes: subtyping recursive parametrized algebraic data types. Haskell 2008: 75-86

Coauthor Index

1	Chris Casinghino	[4] [5]
2	Nathan Collins	[4] [5]
3	Ewen Denney	[2]
4	Harley D. Eades III	[4] [5]
5	Peng Fu	[4] [5]
6	Garrin Kimmell	[4] [5]
7	Tim Sheard	[1] [3] [4] [5]
8	Vilhelm Sjöberg	[4] [5]
9	Aaron Stump	[4] [5]
10	Stephanie Weirich	[4] [5]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page