Publikation:
Haskell Substitution Stepper
Datum
2022
bachelor_thesis
Elvedi, R., & Dietler, D. (2022). Haskell Substitution Stepper. https://orix.ost.ch/handle/item/17355
Zusätzliche Indizierung
| Institut | IFS |
|---|---|
| Studienabschluss | BSc |
| Studiengang | Informatik |
| Titel | Haskell Substitution Stepper |
| Akronym: | An equational reasoning assistant for teaching and debugging |
| Sprache | en |
| Autor / Autor:in | Elvedi, Robin, Dietler, Dominik |
| Betreuer:in | Van der Jeugt, Jasper |
| Datum der Veröffentlichung | 2022-11-29 |
| Thematische Schwerpunkte (Schlagwörter) | Software Engineering - Core Systems |
| Weitere Angaben | BS Informatik |
Metriken
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße800.99 KB
