Result: Functional DSL Compilers with Leightweight Proofs

*Title*:

*Author/editor-in-chief*:

*Publication*:

Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2025

*Physical description scale*:

1 Online-Ressource (235 Seiten)

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

Dissertation, Technische Universität Darmstadt, 2025

*Subject Added Keywords*:

*DOI*:

10.26083/tuprints-00030213

*oa_rights*:

Open Access

*Result*: Functional DSL Compilers with Leightweight Proofs