Type-Based Approaches to Rounding Error Analysis - Kellison, Ariel Eileen (ProQuest Dissertations and Theses, 2024)