@inproceedings{JaYi2001,
   author = {장성순 and 이광근},
   title = {{CPS} 변환 후에도 함수형 {SLam} 언어의 안전성 정확하게 분석하기},
   booktitle = {정보과학회 봄 학술회의},
   month = {April},
   volume = {28},
   number = {1},
   year = {2001},
   format = {pdf},
   category = {domestic-conference},
}