Kwangkeun Yi
Compile-time Detection of Uncaught Exceptions in Standard ML Programs
SAS, 1994.
@inproceedings{SAS-1994-Yi, author = "Kwangkeun Yi", booktitle = "{Proceedings of the First International Static Analysis Symposium}", doi = "10.1007/3-540-58485-4_44", isbn = "3-540-58485-4", pages = "238--254", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Compile-time Detection of Uncaught Exceptions in Standard ML Programs}", volume = 864, year = 1994, }