BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ahn:Ki_Yung

Contributed to:

TLCA 20132013
ICFP 20112011
TAP 20102010
Haskell 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.