Sonstiges: A Typed Recursive Ascent-Descent Backend for Happy

[knothe20bachelorarbeit]

David Knothe, A Typed Recursive Ascent-Descent Backend for Happy, October 2020.

Download

[PDF]

BibTeX

@misc{knothe20bachelorarbeit,
  title = {A Typed Recursive Ascent-Descent Backend for Happy},
  year = {2020},
  month = oct,
  author = {David Knothe},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Institutsinterne Autoren

Ehemalige Hiwis
David Knothe

Bachelor- und Masterarbeiten

Ein Recursive Ascent-Descent Backend für happy