@TechReport{harper+:sml96tt-tr2,
  author = 	 "Robert Harper and Chris Stone",
  title = 	 "An Interpretation of {Standard ML} in Type Theory",
  institution =  cmu,
  year = 	 1997,
  number =	 "CMU--CS--97--147",
  address =	 "Pittsburgh, PA",
  month =	 "June",
  note =	 "(Also published as Fox Memorandum CMU--CS--FOX--97--01.)"
}