2006 | ||
---|---|---|
3 | EE | Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi: Type and Effect System for Multi-staged Exceptions. APLAS 2006: 61-78 |
2 | EE | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno: A polymorphic modal type system for lisp-like multi-staged languages. POPL 2006: 257-268 |
2001 | ||
1 | EE | Ik-Soon Kim, Kwang-Moo Choe: Error repair with validation in LR-based parsing. ACM Trans. Program. Lang. Syst. 23(4): 451-471 (2001) |
1 | Cristiano Calcagno | [2] |
2 | Kwang-Moo Choe | [1] |
3 | Hyunjun Eo | [3] |
4 | Kwangkeun Yi | [2] [3] |