@Article{harper+:structure-of-sml,
  author = 	 "Robert Harper and John C. Mitchell",
  title = 	 "On the Type Structure of {S}tandard {ML}",
  journal = 	 toplas,
  year = 	 "1993",
  volume = 	 "15",
  number = 	 "2",
  pages = 	 "211--252",
  month = 	 "April"
}