Publications

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

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

Published February 1, 2005

Joel Brandt