B.Sc. David Knothe

	Contact

Publications

2020

• A Typed Recursive Ascent-Descent Backend for Happy
  October 2020 : D. Knothe

Theses worked on

• Ein Recursive Ascent-Descent Backend for happy (finished), bachelor thesis