@inproceedings{EoKiYi06,
   author = {Hyunjun Eo and Ik-soon Kim and Kwangkeun Yi},
   title = {Type and Effect System for Multi-Staged Exceptions},
   booktitle = {4th Asian Symposium on Programming Languages and Systems},
   series = {Lecture Notes in Computer Science},
   pages = {61-78},
   publisher = {Springer-Verlag},
   year = {2006},
   category = {exception-analysis},
   format = {pdf},
}