@inproceedings{YiRyPy1996,
   author = {Kwangkeun Yi and Sukyoung Ryu and Ki-Hyun Pyun},
   title = {Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations},
   booktitle = {The 20th Annual International Computer Software and Applications Conference},
   pages = {455--460},
   address = {Seoul, Korea},
   month = {August},
   year = {1996},
   format = {ps.gz},
   category = {conference exception-analysis},
}