M.S. Dissertation, Washington University in St. Louis

What A Mesh: Dependent Data Types for Correct Mesh Manipulation Algorithms

February 1, 2005

Joel Brandt

Read Research Paper