@inproceedings{LeYi1997,
   author = {이욱세 and 이광근},
   title = {타입 오류를 일찍 감지하는 타입 유추 알고리즘},
   booktitle = {정보과학회 봄 학술회의},
   pages = {57--60},
   month = {April},
   year = {1997},
   format = {ps.gz},
   volume = {24},
   number = {1},
   category = {domestic-conference},
}