Browse by Person
![]() | Up a level |
Jump to: 2019
Number of items: 1.
2019
Grewe, Sylvia (2019)
Automating Type Soundness Proofs for Domain-Specific Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
![]() | Up a level |
Grewe, Sylvia (2019)
Automating Type Soundness Proofs for Domain-Specific Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication