Publikation:
Haskell Substitution Stepper
Datum
2022
Bachelorarbeit
Elvedi, R., & Dietler, D. (2022). Haskell Substitution Stepper. https://orix.ost.ch/handle/20.500.14978/17355
Zusätzliche Indizierung
| Departement / Abteilung | |
|---|---|
| Institut/ Bereich | |
| Studienabschluss | BSc |
| Studiengang | Informatik |
| Titel | Haskell Substitution Stepper |
| Akronym: | An equational reasoning assistant for teaching and debugging |
| Sprache | eng |
| Autor:in | Elvedi, Robin Dietler, Dominik |
| Betreuer:in | |
| Datum der Veröffentlichung | 2022 |
| Thematische Schwerpunkte | Software Engineering - Core Systems |
| Weitere Angaben | BS Informatik |
Metriken
Ansichten
1 seit hinterlegt am 2026-06-18
Erwerbsdatum: 2026-10-06
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße800.99 KB
