Practical programming with total functions - Voelker, Karl (ProQuest Dissertations and Theses, 2010)