Kwanghoon Choi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Taisook Han [1] [2] [3]

2 Hyun-il Lim [1]

3 Atsushi Ohori [4]

Colors in the list of coauthors