@InProceedings{shao98:imp,
  author =	 {Zhong Shao},
  title =	 {Implementing Typed Intermediate Language},
  booktitle =	 {Proc. 1998 {ACM} {SIGPLAN} International Conference
                  on Functional Programming ({ICFP}'98)},
  pages =	 {313-323},
  year =	 1998,
  address =	 {Baltimore, Maryland},
  month =	 {September},
  abstract =	 {}
}