Kwanghoon Choi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Kwanghoon Choi, Atsushi Ohori: A Type Theory for Krivine-Style Evaluation and Compilation. APLAS 2004: 213-228

Selection of 1 from 4 records - Kwanghoon Choi has 3 coauthors