1 \documentclass[../thesis.tex
]{subfiles
}
3 \input{subfilepreamble
}
7 \ifSubfilesClassLoaded{\chapter*
{Research Data Management
}}{\chapter{Research Data Management
}}%
8 \label{chp:research_data_management
}
10 This thesis research has been carried out under the research data management policy of the Institute for Computing and Information Science of Radboud University, the Netherlands
\footnote{\refurl{https://www.ru.nl/icis/research-data-management/
}{\formatdate{20}{1}{2020}}}.
12 The following research datasets have been produced during this PhD research:
14 \item \Fullref{chp:classy_deep_embedding
}
16 \item \rdmentry{\mlubbers}{2022}
17 {Literate Haskell/lhs2
\TeX{} source code for the paper ``Deep Embedding with Class'': TFP
2022}
18 {Zenodo
}{10.5281/zenodo
.6650880} %chktex 8
19 \item \Fullref{sec:classy_reprise
}:
21 \item \rdmentry{\mlubbers}{2022}
22 {Library and examples for enhanced classy deep embedding
}
23 {Zenodo
}{10.5281/zenodo
.7277498} %chktex 8
26 \item \Fullref{chp:first-class_datatypes
}:
28 \item \rdmentry{\mlubbers}{2022}
29 {Code for the paper ``First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming'': IFL
2022}
30 {Zenodo
}{10.5281/zenodo
.6416747}
32 \item \Fullref{prt:top
}:
%
33 \todo{add set for green?
}%
34 \todo{add set for sum\-mer school?
}%
36 \item \rdmentry{\mlubbers;
\pkoopman;
\rplasmeijer}{2020}
37 {Source code for the mTask language
}
38 {DANS
}{10.17026/dans-xx4-
8zs9
} %chktex 8
39 \item \rdmentry{\mlubbers;
\pkoopman;
\rplasmeijer}{2020}
40 {Source code for the multitasking mTask language integrated with the iTask system
}
41 {DANS
}{10.17026/dans-x2y-rtxx
} %chktex 8
42 \item \rdmentry{\mlubbers;
\pkoopman;
\rplasmeijer}{2020}
43 {Source code for a simplified mTask language integrated with the iTask system
}
44 {DANS
}{10.17026/dans-xv6-fvxd
} %chktex 8
45 \item \rdmentry{\mlubbers;
\pkoopman;
\rplasmeijer}{2021}
46 {Source code for the interpreted mTask language
}
47 {DANS
}{10.17026/dans-zrn-
2wv3
} %chktex 8
49 \item \Fullref{prt:tvt
}:
51 \item \rdmentry{\mlubbers;
\pkoopman;
\aramsingh;
\jsinger;
\ptrinder}{2021}
52 {Source code, line counts and memory statistics for CRS, CWS, CRTS and CWTS
}
53 {Zenodo
}{10.5281/zenodo
.5040754}
54 \item \rdmentry{\mlubbers;
\pkoopman;
\aramsingh;
\jsinger;
\ptrinder}{2021}
55 {Source code, line counts and memory stats for PRS, PWS, PRT and PWT
}
56 {Zenodo
}{10.5281/zenodo
.5081386}
57 \item \rdmentry{\mlubbers;
\pkoopman;
\aramsingh;
\jsinger;
\ptrinder}{2021}
58 {Source code of the PRSS and CWSS applications
}
59 {DANS
}{10.17026/dans-zvf-
4p9m
} %chktex 8
63 \input{subfilepostamble
}