Liste der Abschlussarbeiten
Für erweiterte Suchoptionen können Sie diese Inhalte auch im Forschungsinformationssystem anzeigen lassen.
Free Theorems for Sublanguages of Haskell
Art der Abschlussarbeit
Diplomarbeit
Autoren
- Böhme, Sascha
Betreuer
- Dr. rer. nat. Janis Voigtländer
Zugeordnete Forschungsschwerpunkte
- Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
- Ableitung von Programmeigenschaften aus polymorphen Typen in modernen funktionalen Sprachen
Berichtsjahr
2007
Stand: 26.10.2020 10:29 Uhr