|
Search the dblp DataBase
Kwanghoon Choi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kwanghoon Choi, Taisook Han
A Type System for the Push-Enter Model. [Citation Graph (0, 0)][DBLP] APLAS, 2001, pp:13-27 [Conf]
- Kwanghoon Choi, Atsushi Ohori
A Type Theory for Krivine-Style Evaluation and Compilation. [Citation Graph (0, 0)][DBLP] APLAS, 2004, pp:213-228 [Conf]
- Kwanghoon Choi, Hyun-il Lim, Taisook Han
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. [Citation Graph (0, 0)][DBLP] FLOPS, 2001, pp:92-107 [Conf]
- Kwanghoon Choi, Taisook Han
A type system for the push-enter model. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2003, v:87, n:4, pp:205-211 [Journal]
Search in 0.001secs, Finished in 0.001secs
|