HOME | DEUTSCH | IMPRESSUM | KIT

bachelor thesis (finished): Ein Recursive Ascent-Descent Backend for happy

Description currently only available in German. Translation to English is possible, if requested. 

Publications

Publication
A Typed Recursive Ascent-Descent Backend for Happy

Advisors

Scientific Staff
Sebastian Graf

Students

Students
David Knothe