@PhdThesis{Petersen05phd,
  author = 	 "Leaf Petersen",
  title = 	 "Certifying Compilation for Standard ML in a Type Analysis Framework",
  school = 	 "Carnegie Mellon University",
  year = 	 2005,
  month =	 "May",
  note =         "Available as CMU Technical Report CMU--CS--05--135"
}