@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",
  volume = "4297",
  series = "Lecture Notes in Computer Science",
  pages = "61-78",
  year = "2006",
  publisher = "Springer-Verlag"
}