List of Theses
For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.
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
Last modified: 2020-10-26 10:29am