Publications
| Publication |
| A Typed Recursive Ascent-Descent Backend for Happy |
Advisors
| Scientific Staff |
|---|
| Sebastian Graf |
Students
| Former Aide |
|---|
| David Knothe |
bachelor thesis (finished): Ein Recursive Ascent-Descent Backend for happy
Description currently only available in German. Translation to English is possible, if requested.