Other Publications: A Typed Recursive Ascent-Descent Backend for Happy

[knothe20bachelorarbeit]

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

Download

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

Authors at the institute

Former Aide
David Knothe

Bachelor and Masters theses

Ein Recursive Ascent-Descent Backend for happy