`Travelled to:`

1 × Japan

1 × Spain

1 × The Netherlands

`Collaborated with:`

T.Sheard E.Denney M.P.Fiore A.M.Pitts

`Talks about:`

subtyp (2) recurs (2) hierarchi (1) parametr (1) program (1) mendler (1) datatyp (1) algebra (1) system (1) occurr (1)

## Person: Ki Yung Ahn

### DBLP: Ahn:Ki_Yung

### Contributed to:

### Wrote 4 papers:

- TLCA-2013-AhnSFP #system f
- System F i (KYA, TS, MPF, AMP), pp. 15–30.
- ICFP-2011-AhnS #combinator #data type #induction #recursion
- A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.
- TAP-2010-AhnD #axiom #first-order #logic #testing #verification
- Testing First-Order Logic Axioms in Program Verification (KYA, ED), pp. 22–37.
- Haskell-2008-AhnS #algebra #data type #recursion #type system
- Shared subtypes: subtyping recursive parametrized algebraic data types (KYA, TS), pp. 75–86.