Johannes Bader

	Contact

Publications

2014

• Finding Equations in Functional Programs
  October 2014 : J. Bader

Theses worked on

• Inferring equalities in functional programs (finished), bachelor thesis