@InProceedings{shao98:tcc,
  author =	 {Zhong Shao},
  title =	 {Typed Cross-Module Compilation},
  booktitle =	 {Proc. 1998 {ACM} {SIGPLAN} International Conference
                  on Functional Programming ({ICFP}'98)},
  pages =	 {141-152},
  year =	 1998,
  address =	 {Baltimore, Maryland},
  month =	 {September},
  abstract =	 {}
}