date = {2014-04},
file = {Nelson et al. - 2014 - Tierless Programming and Reasoning for Software-De.pdf:/home/mrl/.local/share/zotero/storage/3AXEWJ4I/Nelson et al. - 2014 - Tierless Programming and Reasoning for Software-De.pdf:application/pdf},
}
+@report{de_roos_2020,
+ author = {de Roos, Colin},
+ title = {Custom Type Errors for Class-Based Embedded DSLs},
+ institution = {Radboud University},
+ year = {2020},
+ type = {Research Intership Report},
+}