@PhdThesis{Freeman94,
  author = 	 {Tim Freeman},
  title = 	 {Refinement Types for ML},
  school = 	 {Carnegie Mellon University},
  month =        "March",
  year = 	 1994
}