@mastersthesis{tech200615,
  title = {What a Mesh: Dependent Data Types for Correct Mesh Manipulation Algorithms},
  author = {Joel Brandt},
  number = {2005-15},
  institution = {Washington University in St. Louis},
  school = {Department of Computer Science and Engineering},
  note = {Programming language approach to representing meshes},
  month = {May},
  year = {2005}
}