X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=back%2Fresearch_data_management.tex;h=68c4ae38bef105770ab61827667ac238ae6ffa3e;hb=c45698c752780ef2bf45ae9f8085585e9eee1d18;hp=0c826b0b43a2edf46e0679b85da1dbacecf6132d;hpb=3fe94feeee0efd1922263aca9d578031e2283f61;p=phd-thesis.git diff --git a/back/research_data_management.tex b/back/research_data_management.tex index 0c826b0..68c4ae3 100644 --- a/back/research_data_management.tex +++ b/back/research_data_management.tex @@ -1,49 +1,60 @@ \documentclass[../thesis.tex]{subfiles} -\begin{document} -\ifSubfilesClassLoaded{ - \pagenumbering{arabic} -}{} +\include{subfilepreamble} +\begin{document} \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}.}. 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} + {\todo[inline]{replace with actual name}} + {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}: + \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}