-\subsection{Other \texorpdfstring{\glsxtrshort{TOP}}{TOP} languages}
-\Citet{steenvoorden_tophat_2022} defines two instruments for \gls{TOP}: \gls{TOP} languages and \gls{TOP} engines.
-A \gls{TOP} language is a formal language to specify workflows.
-A \gls{TOP} engine executes such a specification as a ready-for-work application.
-The \gls{ITASK} system is both a \gls{TOP} language and an engine.
-While \gls{ITASK} conceived \gls{TOP}, it is not the only \gls{TOP} language.
-Some \gls{TOP} languages and systems arose from Master's and Bachelor's thesis projects (e.g.\ \textmu{}Task \citep{piers_task-oriented_2016} and LTasks \citep{van_gemert_task_2022}) or were created to solve a practical problem (e.g.\ Toppyt \citep{lijnse_toppyt_2022} and hTask \citep{lubbers_htask_2022}).
-Furthermore, \gls{TOPHAT} is a fully formally specified \gls{TOP} language designed to capture the essence of \gls{TOP} formally \citep{steenvoorden_tophat_2019}.
-It is also possible to translate \gls{TOPHAT} code to \gls{ITASK} to piggyback on the \gls{TOP} engine it offers.
-
-\subsection{\texorpdfstring{\Gls{MTASK}}{MTask}}
-Finally there is \gls{MTASK}, a \gls{TOP} language designed for defining workflows for \gls{IOT} edge devices \citep{koopman_task-based_2018}.
-It is written in \gls{CLEAN} as a multi-view \gls{EDSL} fully integrated with \gls{ITASK}.
-Together with \gls{ITASK}, it allows the programmer to define all layers of an \gls{IOT} system from a single declarative specification.
-The domain-specific nature of the language allows for a very compact binary representation of the work that needs to be done.
-This specification can be interpreted on a device that runs the \gls{MTASK} \gls{RTS}, a domain-specific \gls{TOP} engine implemented as a feather-light domain-specific \gls{OS}.
-
-\section{Reading guide and contributions}\label{sec:contributions}
-This novel view on programming \gls{IOT} systems is presented in the thesis as a purely functional rhapsody in three episodes.
-On Wikipedia, a rhapsody is defined as follows \citep{wikipedia_contributors_rhapsody_2022}:
-\begin{quote}
- \emph{A \emph{rhapsody} in music is a one-movement work that is episodic yet integrated, free-flowing in structure, featuring a range of highly contrasted moods, colour, and tonality.
- An air of spontaneous inspiration and a sense of improvisation make it freer in form than a set of variations.}
-\end{quote}
-
-\subsection{\nameref{prt:dsl}}
-The \gls{MTASK} system is a heterogeneous \gls{EDSL} and during the development of it, several novel basal techniques for embedding \glspl{DSL} in \gls{FP} languages have been found.
-This first episode is a cumulative---otherwise known as paper-based---episode consisting of two papers published on novel embedding techniques.
-Both papers are readable independently.
-
-\subsubsection*{\Fullref{chp:classy_deep_embedding}}
-This chapter is based on the paper: \citeentry{lubbers_deep_2022}\todo{change in-press when published}.
-
-While supervising \citeauthor{amazonas_cabral_de_andrade_developing_2018}'s \citeyear{amazonas_cabral_de_andrade_developing_2018} Master's thesis, focussing on an early version of \gls{MTASK}, a seed was planted for a novel deep embedding technique for \glspl{DSL} where the resulting language is extendible both in constructs and in interpretation using type classes and existential data types.
-Slowly the ideas organically grew to form the technique shown in the paper.
-The related work section is updated with the research found only after publication.
-\Cref{sec:classy_reprise} was added after publication and contains a (yet) unpublished extension of the embedding technique for reducing the required boilerplate.
-The research from this paper and writing the paper was solely performed by me.
-
-\subsubsection*{\Fullref{chp:first-class_datatypes}}
-This chapter is based on the paper: \citeentry{lubbers_first-class_2022}\todo{change when accepted}.
-
-It shows how to inherit data types from the host language in \glspl{EDSL} using metaprogramming.
-It does so by providing a proof-of-concept implementation using \gls{HASKELL}'s metaprogramming system: \glsxtrlong{TH}.
-Besides showing the result, the paper also serves as a gentle introduction to using \glsxtrlong{TH} and contains a thorough literature study on research that uses \glsxtrlong{TH}.
-The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer in which we discussed and refined the ideas.
-
-\subsection{\nameref{prt:top}}
-This is a monograph compiled from several papers and revised lecture notes on \gls{MTASK}, the \gls{TOP} system used to orchestrate the \gls{IOT}.
-It provides a gentle introduction to the \gls{MTASK} system elaborates on \gls{TOP} for the \gls{IOT}.
-\todo[inline]{outline the chapters}
-
-\begin{itemize}
- \item \citeentry{koopman_task-based_2018}
-
- This is the initial \gls{TOP}/\gls{MTASK} paper.
- It provides an overview of the initial \gls{MTASK} language and shows first versions of a pretty printer, an \gls{ITASK} simulation and a \gls{C} code generation view.
- \paragraph{Contribution}
- Pieter Koopman wrote it, I helped with the software and research.
- \item \citeentry{lubbers_task_2018}
-
- This paper was an extension of my Master's thesis \citep{lubbers_task_2017}.
- It shows how a simple imperative variant of \gls{MTASK} was integrated with \gls{ITASK}.
- While the language was a lot different than later versions, the integration mechanism is still used in \gls{MTASK} today.
- \paragraph{Contribution}
- The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer in which we discussed and refined the ideas.
- \item \citeentry{lubbers_multitasking_2019}\footnote{%
- This work acknowledges the support of the ERASMUS+ project ``Focusing Education on Composability, Comprehensibility and Correctness of Working Software'', no. 2017--1--SK01--KA203--035402
- }
-
- This paper was a short paper on the multitasking capabilities of \gls{MTASK} in contrast to traditional multitasking methods for \gls{ARDUINO}.
- \paragraph{Contribution}
- The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer.
- \item \citeentry{koopman_simulation_2018}\footnotemark[\value{footnote}]\todo{change when published}
-
- These revised lecture notes are from a course on the \gls{MTASK} simulator was provided at the 2018 \gls{CEFP}/\gls{3COWS} winter school in Ko\v{s}ice, Slovakia.
- \paragraph{Contribution}
- Pieter Koopman wrote and taught it, I helped with the software and research.
- \item \citeentry{lubbers_writing_2019}\footnotemark[\value{footnote}]\todo{change when published}
-
- These revised lecture notes are from a course on programming in \gls{MTASK} provided at the 2019 \gls{CEFP}/\gls{3COWS} summer school in Budapest, Hungary.
- \paragraph{Contribution}
- Pieter Koopman prepared and taught half of the lecture and supervised the practical session.
- I taught the other half of the lecture, wrote the lecture notes, made the assignments and supervised the practical session.
- \item \citeentry{lubbers_interpreting_2019}
-
- This paper shows an implementation for \gls{MTASK} for microcontrollers in the form of a compilation scheme and informal semantics description.
- \paragraph{Contribution}
- The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer.
- \item \citeentry{crooijmans_reducing_2022}\todo{change when published}
-
- This paper shows how to create a scheduler so that devices running \gls{MTASK} tasks can go to sleep more automatically.
- \paragraph{Contribution}
- The research was carried out by \citet{crooijmans_reducing_2021} during his Master's thesis.
- I did the daily supervision and helped with the research, Pieter Koopman was the formal supervisor and wrote most of the paper.
- \item \emph{Green Computing for the Internet of Things}\footnote{
- This work acknowledges the support of the Erasmus+ project ``SusTrainable---Promoting Sustainability as a Fundamental Driver in Software Development Training and Education'', no. 2020--1--PT01--KA203--078646}\todo{change when published}
-
- \paragraph{Contribution}
- These revised lecture notes are from a course on sustainable programming using \gls{MTASK} provided at the 2022 SusTrainable summer school in Rijeka, Croatia.
- Pieter prepared and taught a quarter of the lecture and supervised the practical session.
- I prepared and taught the other three quarters of the lecture, made the assignments and supervised the practical session\todo{writing contribution}.
-\end{itemize}
-
-\subsection{\nameref{prt:tvt}}
-\Cref{prt:tvt} is based on a journal paper that quantitatively and qualitatively compares traditional \gls{IOT} architectures with \gls{IOT} systems using \gls{TOP} and contains a single chapter.
-This chapter is based on the journal paper: \citeentry{lubbers_could_2022}\todo{change when published}\footnote{This work is an extension of the conference article: \citeentry{lubbers_tiered_2020}\footnotemark{}}.
-\footnotetext{This paper was partly funded by the Radboud-Glasgow Collaboration Fund.}
-
-It compares programming traditional tiered architectures to tierless architectures by showing a qualitative and a quantitative four-way comparison of a smart-campus application.
-
-\paragraph{Contribution}
+The \cleaninline{intBlink} task (\cref{lst:intro_blink_mtask}) is the \gls{MTASK} part of the application.
+It blinks \pgls{LED} on the edge device with the delay that is dynamically adjustable by the user via an \gls{ITASK} editor in the browser.
+It has its own tasks, \glspl{SDS}, and \gls{UOD}.
+This task first defines \gls{GPIO} pin 13 to be of the output type (\cref{lst:intro:declarePin}).
+Then the \gls{ITASK} \gls{SDS} is lifted to an \gls{MTASK} \gls{SDS} (\cref{lst:intro:liftsds}), enabling the machinery to keep the \gls{SDS} in sync both on the device and the server.
+The main expression of the program calls the \cleaninline{blink} function with an initial state.
+This function on \crefrange{lst:intro:blink_fro}{lst:intro:blink_to} first reads the interval \gls{SDS}, waits the specified delay, writes the state to the \gls{GPIO} pin, and calls itself recursively using the inverse of the state in order to run continuously.
+The \cleaninline{>>\|.} operator denotes the sequencing of tasks in \gls{MTASK}.
+
+\cleaninputlisting[float={!ht},linerange={23-,25-33},numbers=left,caption={The \gls{MTASK} code for the interactive blinking application.},label={lst:intro_blink_mtask}]{lst/blink.icl} %chktex 8
+\todo[inline]{Meer wit rondom =jes, doornummeren?}
+
+\subsection{Other TOP languages}
+While \gls{ITASK} conceived \gls{TOP}, it is no longer the only \gls{TOP} system.
+Some \gls{TOP} languages were created to fill a gap encountered in practise.
+Toppyt \citep{lijnse_toppyt_2022} is a general purpose \gls{TOP} language written in \gls{PYTHON} used to host frameworks for modelling command \& control systems.
+The hTask system is a \gls{TOP} system written in \gls{HASKELL} used as a vessel for experimenting with asynchronous \glspl{SDS} \citep{lubbers_htask_2022}.
+Furthermore, some \gls{TOP} systems arose from Master's and Bachelor's thesis projects.
+For example, \textmu{}Task \citep{piers_task-oriented_2016}, a \gls{TOP} language for modelling non-interruptible embedded systems in \gls{HASKELL}, and LTasks \citep{van_gemert_task_2022}, a \gls{TOP} language written in the dynamically typed programming language Lua.
+Finally, there are \gls{TOP} languages with strong academic foundations.
+\Gls{TOPHAT} is a fully formally specified \gls{TOP} language designed to capture the essence of \gls{TOP} \citep{steenvoorden_tophat_2019}.
+Such a formal specification allows for symbolic execution, hint generation, but also the translation to \gls{ITASK} for actually performing the work \citep{steenvoorden_tophat_2022}.
+\Citeauthor{steenvoorden_tophat_2022} distinguishes two instruments for \gls{TOP}: \gls{TOP} languages and \gls{TOP} engines.
+The language is the \emph{formal} language for specifying interactive systems.
+The engine is the software or hardware that executes these specifications as a ready-for-work application.
+\todo[inline]{Noemen dat een vergelijkbare semantics voor mTask under construction is met een verwijzing naar de thesis van Elina?}
+
+\section{Contributions}%
+\label{sec:contributions}
+This section provides a thorough overview of the relation between the scientific publications and the contents of this thesis.
+
+\subsection{\Fullref{prt:dsl}}
+The \gls{MTASK} system is an \gls{EDSL} and during the development of it, several novel basal techniques for embedding \glspl{DSL} in \gls{FP} languages have been found.
+This paper-based episode contains the following papers:
+\todo{papers met bibitem doen? of conferentie noemen.}
+\begin{enumerate}
+ \item \emph{Deep Embedding with Class} \citep*{lubbers_deep_2022} is the basis for \cref{chp:classy_deep_embedding}.
+ It shows a novel deep embedding technique for \glspl{DSL} where the resulting language is extendible both in constructs and in interpretation just using type classes and existential data types.
+ The related work section is updated with the research found after publication.
+ \Cref{sec:classy_reprise} was added after publication and contains a (yet) unpublished extension of the embedding technique for reducing the required boilerplate at the cost of requiring some advanced type system extensions.
+ \item \emph{First-\kern-1ptClass Data Types in Shallow Embedded Domain-Specific Languages} \citep*{lubbers_first-class_2022}\label{enum:first-class} is the basis for \cref{chp:first-class_datatypes}.
+ It shows how to inherit data types from the host language in \glspl{EDSL} using metaprogramming by providing a proof-of-concept implementation using \gls{HASKELL}'s metaprogramming system: \glsxtrlong{TH}.
+ The chapter also serves as a gentle introduction to, and contains a thorough literature study on \glsxtrlong{TH}.
+\end{enumerate}
+
+%\paragraph{In preparation}
+%Furthermore, there are some papers either in preparation or under review describing methods for creating \glspl{DSL}.
+%They describe techniques found while developing the \gls{MTASK} \gls{DSL} that have not made it (yet) into the system.
+%Hence, they are not part of the dissertation.
+%
+%\begin{itemize}
+% \item \emph{Strongly-Typed Multi-\kern-2ptView Stack-\kern-1.25ptBased Computations} shows how to create type-safe \glspl{EDSL} representing stack-based computations.
+% Instead of encoding the arguments to a function as arguments in the host language, stack-based approaches use a run time stack that contains the arguments.
+% By encoding the required contents of the stack in the types, such systems can be made type safe.
+%
+% \item \emph{Template Metaprogramming using Two-Stage Generic Functions} shows how a sufficiently rich generic programming system can achieve much of the same functionality as template metaprogramming.
+% The generic programming functionality of \gls{Clean} is built into the compiler.
+% As a result, metadata of the generic types is added to the generic structure.
+% From this metadata, we can destill not only type and constructor names but also arities, fixity, kinds, types, \etc{}.
+% This allows us, by
+%\end{itemize}
+
+\paragraph{Contribution:}
+The papers are written by me, there were weekly meetings with co-authors in which we discussed and refined the ideas.
+
+\subsection{\crtCref{prt:top}: \hspace{8.28992pt}\nameref{prt:top}}
+This episode is a monograph that shows the design, properties, implementation and usage of the \gls{MTASK} system and \gls{TOP} for the \gls{IOT}.
+It is compiled from the following publications:
+
+\begin{enumerate}[resume]
+ \item \emph{A Task-\kern-1.25ptBased \glsxtrshort{DSL} for Microcomputers} \citep*{koopman_task-based_2018}
+ is the initial \gls{TOP}\slash{}\gls{MTASK} paper.
+ It provides an overview of the initial \gls{TOP} \gls{MTASK} language and shows first versions of some interpretations.
+ \item \emph{Task Oriented Programming for the Internet of Things} \citep*{lubbers_task_2018}\footnote{This work is an extension of my Master's thesis \citep{lubbers_task_2017}.}
+ shows how a simple imperative variant of \gls{MTASK} was integrated with \gls{ITASK}.
+ While the language differs a lot from the current version, the integration mechanism is still used.
+% \paragraph{Contribution}
+% The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer in which we discussed and refined the ideas.
+ \item \emph{Multitasking on Microcontrollers using Task Oriented Programming} \citep*{lubbers_multitasking_2019}\footnote{This work acknowledges the support of the \erasmusplus{} project ``Focusing Education on Composability, Comprehensibility and Correctness of Working Software'', no.\ 2017--1--SK01--KA203--035402.}
+ is a short paper on the multitasking capabilities of \gls{MTASK} comparing it to traditional multitasking methods for \gls{ARDUINO}.
+% \paragraph{Contribution}
+% The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer.
+ \item \emph{Simulation of a Task-\kern-1.25ptBased Embedded Domain Specific Language for the Internet of Things} \citep*{koopman_simulation_2023}\footnotemark[\value{footnote}]
+ are the revised lecture notes for a course on the \gls{MTASK} simulator provided at the 2018 \gls{3COWS} winter school in Ko\v{s}ice, Slovakia, January 22--26, 2018.
+% \paragraph{Contribution}
+% Pieter Koopman wrote and taught it, I helped with the software and research.
+ \item \emph{Writing Internet of Things Applications with Task Oriented Programming} \citep*{lubbers_writing_2023}\footnotemark[\value{footnote}]
+ are the revised lecture notes from a course on programming \gls{IOT} systems using \gls{MTASK} provided at the 2019 \gls{3COWS} summer school in Budapest, Hungary, June 17--21, 2019.
+% \paragraph{Contribution}
+% Pieter Koopman prepared and taught half of the lecture and supervised the practical session.
+% I taught the other half of the lecture, wrote the lecture notes, made the assignments and supervised the practical session.
+ \item \emph{Interpreting Task Oriented Programs on Tiny Computers} \citep*{lubbers_interpreting_2019}
+ shows an implementation of the byte code compiler and \gls{RTS} of \gls{MTASK}.
+% \paragraph{Contribution}
+% The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer.
+ \item \emph{Reducing the Power Consumption of IoT with Task-Oriented Programming} \citep*{crooijmans_reducing_2022}
+ shows how to create a scheduler so that devices running \gls{MTASK} tasks can go to sleep more automatically and how interrupts are incorporated in the language.
+% \paragraph{Contribution}
+% The research was carried out by \citet{crooijmans_reducing_2021} during his Master's thesis.
+% I did the daily supervision and helped with the research, Pieter Koopman was the formal supervisor and wrote most of the paper.
+ \item \emph{Green Computing for the Internet of Things} \citep*{lubbers_green_2022}\footnote{This work acknowledges the support of the \erasmusplus{} project ``SusTrainable---Promoting Sustainability as a Fundamental Driver in Software Development Training and Education'', no.\ 2020--1--PT01--KA203--078646.}
+ are the revised lecture notes from a course on sustainable \gls{IOT} programming with \gls{MTASK} provided at the 2022 SusTrainable summer school in Rijeka, Croatia, July 4--8, 2022.
+
+% \paragraph{Contribution}
+% These revised lecture notes are from a course on sustainable programming using \gls{MTASK} provided at the 2022 SusTrainable summer school in Rijeka, Croatia.
+% Pieter prepared and taught a quarter of the lecture and supervised the practical session.
+% I prepared and taught the other three quarters of the lecture, made the assignments and supervised the practical session
+\end{enumerate}
+
+\paragraph{Contribution:}
+The original \gls{MTASK} language, and their initial interpretations were developed by Pieter Koopman and Rinus Plasmeijer.
+I extended the language, developed the byte code interpreter, the integration with \gls{ITASK}, and the \gls{RTS}.
+The papers of which I am first author are solely written by me, there were weekly meetings with the co-authors in which we discussed and refined the ideas.
+
+\subsection{\Fullref{prt:tvt}}
+\Cref{prt:tvt} is based on a journal paper that quantitatively and qualitatively compares traditional \gls{IOT} architectures with \gls{TOP} \gls{IOT} architectures.
+\begin{enumerate}[resume]
+ \item \emph{Could Tierless Programming Reduce IoT Development Grief?} \citep*{lubbers_could_2023}
+ is an extended version of paper~\ref{enum:iot20}.
+ It compares programming traditional tiered architectures to tierless architectures by illustrating a qualitative and a quantitative four-way comparison of a smart-campus application.
+ \item \emph{Tiered versus Tierless \glsxtrshort{IOT} Stacks: Comparing Smart Campus Software Architectures} \citep*{lubbers_tiered_2020}\footnote{This work was partly funded by the 2019 Radboud-Glasgow Collaboration Fund.}\label{enum:iot20} compares traditional tiered programming to tierless architectures by comparing two implementations of a smart-campus application.
+\end{enumerate}
+
+\paragraph{Contribution:}