\documentclass[../thesis.tex]{subfiles}
-\include{subfilepreamble}
+\input{subfilepreamble}
\begin{document}
+\input{subfileprefix}
\chapter{Research Data Management}%
\label{chp:research_data_management}
-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{\url{https://www.ru.nl/icis/research-data-management/}, last accessed \formatdate{20}{1}{2020}.}.
+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}}}.
The following research datasets have been produced during this PhD research:
-\todo{reference correct chapters}
\begin{itemize}
- \item \ldots
- \item \rdmentry{\Cref{chp:classy_deep_embedding}}
- {\mlubbers}
- {2022}
- {Literate Haskell/lhs2TeX source code for the paper ``Deep Embedding with Class'': TFP 2022}
- {Zenodo}{10.5281/zenodo.6650880} %chktex 8
- \item \rdmentry{Chapter 0}
- {\mlubbers; \pkoopman; \rplasmeijer}
- {2021}
- {Source code for the interpreted mTask language}
- {DANS}{10.17026/dans-zrn-2wv3} %chktex 8
- \item \rdmentry{\Cref{chp:smart_campus}}
- {\mlubbers; \pkoopman; Ramsingh, A.\ (University of Glasgow); Singer, dr.\ J.\ (University of Glasgow); Trinder, prof.~dr.\ P.\ (University of Glasgow)}
- {2021}
- {Source code of the PRSS and CWSS applications}
- {DANS}{10.17026/dans-zvf-4p9m} %chktex 8
- \item \rdmentry{\Cref{prt:top}}
- {\mlubbers; \pkoopman; \rplasmeijer}
- {2020}
- {Source code for the multitasking mTask language integrated with the iTask system}
- {DANS}{10.17026/dans-x2y-rtxx} %chktex 8
- \item \rdmentry{\Cref{prt:top}}
- {\mlubbers; \pkoopman; \rplasmeijer}
- {2020}
- {Source code for a simplified mTask language integrated with the iTask system}
- {DANS}{10.17026/dans-xv6-fvxd} %chktex 8
- \item \rdmentry{\Cref{prt:top}}
- {\mlubbers; \pkoopman; \rplasmeijer}
- {2020}
- {Source code for the mTask language}
- {DANS}{10.17026/dans-xx4-8zs9} %chktex 8
+ \item \Fullref{chp:classy_deep_embedding}
+ \begin{itemize}
+ \item \rdmentry{\mlubbers}{2022}
+ {Literate Haskell/lhs2\TeX{} source code for the paper ``Deep Embedding with Class'': TFP 2022}
+ {Zenodo}{10.5281/zenodo.6650880} %chktex 8
+ \item \Fullref{sec:classy_reprise}:
+ \begin{itemize}
+ \item \rdmentry{\mlubbers}{2022}
+ {Library and examples for enhanced classy deep embedding}
+ {Zenodo}{10.5281/zenodo.7277498} %chktex 8
+ \end{itemize}
+ \end{itemize}
+ \item \Fullref{chp:first-class_datatypes}:
+ \begin{itemize}
+ \item \rdmentry{\mlubbers}{2022}
+ {Code for the paper ``First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming'': IFL 2022}
+ {Zenodo}{10.5281/zenodo.6416747}
+ \end{itemize}
+ \item \Fullref{prt:top}:%
+ \todo{add set for green?}%
+ \todo{add set for sum\-mer school?}%
+ \begin{itemize}
+ \item \rdmentry{\mlubbers; \pkoopman; \rplasmeijer}{2020}
+ {Source code for the mTask language}
+ {DANS}{10.17026/dans-xx4-8zs9} %chktex 8
+ \item \rdmentry{\mlubbers; \pkoopman; \rplasmeijer}{2020}
+ {Source code for the multitasking mTask language integrated with the iTask system}
+ {DANS}{10.17026/dans-x2y-rtxx} %chktex 8
+ \item \rdmentry{\mlubbers; \pkoopman; \rplasmeijer}{2020}
+ {Source code for a simplified mTask language integrated with the iTask system}
+ {DANS}{10.17026/dans-xv6-fvxd} %chktex 8
+ \item \rdmentry{\mlubbers; \pkoopman; \rplasmeijer}{2021}
+ {Source code for the interpreted mTask language}
+ {DANS}{10.17026/dans-zrn-2wv3} %chktex 8
+ \end{itemize}
+ \item \Fullref{prt:tvt}:
+ \begin{itemize}
+ \item \rdmentry{\mlubbers; \pkoopman; \aramsingh; \jsinger; \ptrinder}{2021}
+ {Source code, line counts and memory statistics for CRS, CWS, CRTS and CWTS}
+ {Zenodo}{10.5281/zenodo.5040754}
+ \item \rdmentry{\mlubbers; \pkoopman; \aramsingh; \jsinger; \ptrinder}{2021}
+ {Source code, line counts and memory stats for PRS, PWS, PRT and PWT}
+ {Zenodo}{10.5281/zenodo.5081386}
+ \item \rdmentry{\mlubbers; \pkoopman; \aramsingh; \jsinger; \ptrinder}{2021}
+ {Source code of the PRSS and CWSS applications}
+ {DANS}{10.17026/dans-zvf-4p9m} %chktex 8
+ \end{itemize}
\end{itemize}
\input{subfilepostamble}