@InProceedings{harper+:sharing,
  author = 	 "Robert Harper and Mark Lillibridge",
  title = 	 "A Type-Theoretic Approach to Higher-Order Modules with
		  Sharing",
  pages = 	 "123--137",
  booktitle =    twentyfirst # popl,
  year = 	 1994,
  address = 	 "Portland, OR",
  month = 	 "January"
}