| |
| 2004 | ||
|---|---|---|
| 4 | EE | Kwanghoon Choi, Atsushi Ohori: A Type Theory for Krivine-Style Evaluation and Compilation. APLAS 2004: 213-228 |
| 2003 | ||
| 3 | EE | 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 | EE | 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] |