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:
2013
2011
2010
2008Wrote 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.