Sylvia Grewe. Automating Type Soundness Proofs for Domain-Specific Languages. PhD thesis, Darmstadt University of Technology, Germany, 2019. [doi]
@phdthesis{dnb-22274, title = {Automating Type Soundness Proofs for Domain-Specific Languages}, author = {Sylvia Grewe}, year = {2019}, url = {http://d-nb.info/1195141904}, researchr = {https://researchr.org/publication/dnb-22274}, cites = {0}, citedby = {0}, school = {Darmstadt University of Technology, Germany}, }