@inproceedings{PyYi1997,
   author = {편기현 and 이광근},
   title = {Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발},
   booktitle = {정보 과학회 봄 학술회의},
   volume = {24},
   number = {1},
   pages = {41--44},
   month = {April},
   year = {1997},
   category = {domestic-conference},
}