| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 5 |      | Kwanghoon Choi, Seog Park: Typing ZINC Machine with Generalized Algebraic Data Types. IEICE Transactions 94-D(6): 1190-1200 (2011) |
| 2004 | ||
| 4 | | Kwanghoon Choi, Atsushi Ohori: A Type Theory for Krivine-Style Evaluation and Compilation. APLAS 2004: 213-228 |
| 2003 | ||
| 3 | | Kwanghoon Choi, Taisook Han: A type system for the push-enter model. Inf. Process. Lett. 87(4): 205-211 (2003) |
| 2001 | ||
| 2 |  | Kwanghoon Choi, Taisook Han: A Type System for the Push-Enter Model. APLAS 2001: 13-27 |
| 1 | | Kwanghoon Choi, Hyun-il Lim, Taisook Han: Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. FLOPS 2001: 92-107 |
| 1 | Taisook Han | [1] [2] [3] |
| 2 | Hyun-il Lim | [1] |
| 3 | Atsushi Ohori | [4] |
| 4 | Seog Park | [5] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page