@TechReport{lh05dmlproofs-tr,
  author = 	 {Daniel R. Licata and Robert Harper},
  title = 	 {A Formulation of Dependent ML with Explicit Equality Proofs},
  institution =  {Carnegie Mellon University Department of Computer Science},
  year = 	 {2005},
  number = 	 {CMU-CS-05-178},
}