Other Publications: Finding Equations in Functional Programs

[bader14bachelorarbeit]

Johannes Bader, Finding Equations in Functional Programs, October 2014.

Download

BibTeX

@misc{bader14bachelorarbeit,
  title = {Finding Equations in Functional Programs},
  year = {2014},
  month = oct,
  author = {Johannes Bader},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Authors at the institute

Former Students
Johannes Bader

Bachelor and Masters theses

Inferring equalities in functional programs