Sonstiges: Finding Equations in Functional Programs

[bader14bachelorarbeit]

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

Download

[PDF]

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},
}

Institutsinterne Autoren

Ehemalige Studenten
Johannes Bader

Bachelor- und Masterarbeiten

Inferenz von Gleichungen in funktionalen Programmen