Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Functional DSL Compilers with Leightweight Proofs

Titel:
Functional DSL Compilers with Leightweight Proofs / David Richter
Beteiligt:
Richter, David (Verfasser) ; Mezini, Mira (Akademischer Betreuer) ; Ostermann, Klaus (Akademischer Betreuer) 
Veröffent­licht:
Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2025
Umfang:
1 Online-Ressource (235 Seiten)
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Technische Universität Darmstadt, 2025
Schlagworte:
DOI:
10.26083/tuprints-00030213
Open Access Rechte:
Open Access

Zusatz-Informationen

Zusatz-Funktionen