@article{LeYi2001,
   author = {이욱세 and 이광근},
   title = {일반화된 Let-다형성 타입 유추 알고리즘},
   journal = {정보과학회 논문지: 소프트웨어 및 응용},
   volume = {28},
   number = {1},
   pages = {73--89},
   month = {January},
   year = {2001},
   format = {hwp},
   category = {domestic-journal},
}