Publikation:
Dependent Types: Level Up Your Types
Datum
2017
Masterarbeit
Syfrig, M. (2017). Dependent Types: Level Up Your Types. https://orix.ost.ch/handle/20.500.14978/19620
Zusammenfassung
Zusätzliche Indizierung
| Departement / Abteilung | |
|---|---|
| Institut/ Bereich | |
| Institution | HSR Hochschule für Technik Rapperswil |
| Studienabschluss | Master of Science in Engineering (MSE) |
| Studiengang | Engineering with specialization in Computer Science |
| Titel | Dependent Types: Level Up Your Types |
| Autor:in | Syfrig, Marco |
| Betreuer:in | |
| Datum der Veröffentlichung | 2017 |
| eprints-ID | 577 |
| Thematische Schwerpunkte | Performance Unit-Testing Programming Languages |
Metriken
Ansichten
2 seit hinterlegt am 2026-06-23
1letzter Monat
1letzte Woche
Erwerbsdatum: 2026-09-12
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße159.97 KB
Lizenzbestimmung:
