Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

Modularization of Algorithms on Complex Data Structures: An Encoding of Typesafe Extensible Functional Objects

by Jonathan Immanuel Brachthäuser

Master thesis. University of Marburg, Germany, 2014.