@inproceedings{Yi1994,
   author = {Kwangkeun Yi},
   title = {Compile-time Detection of Uncaught Exceptions in Standard ML Programs},
   booktitle = {The 1st International Static Analysis Symposium},
   volume = {864},
   series = {Lecture Notes in Computer Science},
   pages = {238--254},
   address = {Namur},
   month = {September},
   year = {1994},
   format = {ps.gz},
   category = {conference exception-analysis},
}