Hyunjun Eo

According to our database, Hyunjun Eo authored at least 5 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Type and Effect System for Multi-staged Exceptions.

Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Static Extensivity Analysis for ?-Definable Functions over Lattices.

Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe

New Gener. Comput., 2005

2003

Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms.

Hyunjun Eo, Oukseh Lee, Kwangkeun Yi

New Gener. Comput., 2003

2002

Static Extensionality Checking for Lambda-Definable Functions Over Lattices.

Kwangkeun Yi, Hyunjun Eo

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

An Improved Differential Fixpoint Iteration Method for Program Analysis.

Hyunjun Eo, Kwangkeun Yi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002