Hyunjun Eo

	2006
5		Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi: Type and Effect System for Multi-staged Exceptions. APLAS 2006: 61-78
	2005
4		Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe: Static Extensivity Analysis for ?-Definable Functions over Lattices. New Generation Comput. 24(1): (2005)
	2003
3		Hyunjun Eo, Oukseh Lee, Kwangkeun Yi: Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Generation Comput. 22(1): (2003)
	2002
2		Kwangkeun Yi, Hyunjun Eo: Static Extensionality Checking for Lambda-Definable Functions Over Lattices. APLAS 2002: 128-144
1		Hyunjun Eo, Kwangkeun Yi: An Improved Differential Fixpoint Iteration Method for Program Analysis. APLAS 2002: 285-301

Coauthor Index

1	Kwang-Moo Choe	[4]
2	Ik-Soon Kim	[5]
3	Oukseh Lee	[3]
4	Kwangkeun Yi	[1] [2] [3] [4] [5]