Hyunjun Eo

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

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