.
[phd-thesis.git] / back / research_data_management.tex
1 \documentclass[../thesis.tex]{subfiles}
2
3 \input{subfilepreamble}
4
5 \begin{document}
6 \input{subfileprefix}
7 \ifSubfilesClassLoaded{\chapter*{Research Data Management}}{\chapter{Research Data Management}}%
8 \label{chp:research_data_management}
9
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}}}.
11
12 The following research datasets have been produced during this PhD research:
13 \begin{itemize}
14 \item \Fullref{chp:classy_deep_embedding}
15 \begin{itemize}
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}:
20 \begin{itemize}
21 \item \rdmentry{\mlubbers}{2022}
22 {Library and examples for enhanced classy deep embedding}
23 {Zenodo}{10.5281/zenodo.7277498} %chktex 8
24 \end{itemize}
25 \end{itemize}
26 \item \Fullref{chp:first-class_datatypes}:
27 \begin{itemize}
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}
31 \end{itemize}
32 \item \Fullref{prt:top}:%
33 \todo{add set for green?}%
34 \todo{add set for sum\-mer school?}%
35 \begin{itemize}
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
48 \end{itemize}
49 \item \Fullref{prt:tvt}:
50 \begin{itemize}
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
60 \end{itemize}
61 \end{itemize}
62
63 \input{subfilepostamble}
64 \end{document}