@phdthesis{Leinberger2021, author = {Martin Leinberger}, title = {Type-safe Programming for the Semantic Web}, type = {doctoralthesis}, pages = {x, 131}, school = {Universit{\"a}t Koblenz, Universit{\"a}tsbibliothek}, year = {2021}, }