dblp.uni-trier.dewww.uni-trier.de

Hyunjun Eo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
5EEHyunjun Eo, Ik-Soon Kim, Kwangkeun Yi: Type and Effect System for Multi-staged Exceptions. APLAS 2006: 61-78
2005
4EEHyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe: Static Extensivity Analysis for ?-Definable Functions over Lattices. New Generation Comput. 24(1): (2005)
2003
3EEHyunjun 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)