Master's Thesis 2018 Developing a type system for a minimal reversible functional language. Petur Andrias Højgaard Jacobsen