|
Search the dblp DataBase
Hyunjun Eo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kwangkeun Yi, Hyunjun Eo
Static Extensionality Checking for Lambda-Definable Functions Over Lattices. [Citation Graph (0, 0)][DBLP] APLAS, 2002, pp:128-144 [Conf]
- Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
Type and Effect System for Multi-staged Exceptions. [Citation Graph (0, 0)][DBLP] APLAS, 2006, pp:61-78 [Conf]
- Hyunjun Eo, Kwangkeun Yi
An Improved Differential Fixpoint Iteration Method for Program Analysis. [Citation Graph (0, 0)][DBLP] APLAS, 2002, pp:285-301 [Conf]
- Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. [Citation Graph (0, 0)][DBLP] New Generation Comput., 2003, v:22, n:1, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|