@PhdThesis{Xi98,
  author = 	 {Hongwei Xi},
  title = 	 {Dependent Types in Practical Programming},
  school = 	 {Carnegie Mellon University},
  year = 	 1998,
  month =	 {September}
}