-This episode is a paper based episodes on these techniques.
-
-\Cref{chp:classy_deep_embedding} is based on the paper \emph{Deep Embedding with Class} \citep{lubbers_deep_2022}.
-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 at the cost of requiring some advanced type system extensions.
-
-\Cref{chp:first-class_datatypes} is based on the paper \emph{First-Class Data Types in Shallow Embedded Domain-Specific Languages} \citep{lubbers_first-class_2022}.
-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}.
-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 the following papers and revised lecture notes on \gls{MTASK}.
-It provides a gentle introduction to all aspects of the \gls{MTASK} system and \gls{TOP} for the \gls{IOT}.
-
-\begin{itemize}
- \item \emph{A Task-Based \glsxtrshort{DSL} for Microcomputers} \citep{koopman_task-based_2018}.
- This 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 of the interpretations.
- \item \emph{Task Oriented Programming for the \glsxtrlong{IOT}} \citep{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}.
+This paper-based episode contains the following papers:
+\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-Class 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 paper also serves as a gentle introduction to, and contains a thorough literature study on \glsxtrlong{TH}.
+\end{enumerate}
+
+\paragraph{Other publications on \texorpdfstring{\glspl{EDSL}}{eDSLs}:}
+Furthermore, I co-authored another paper that is not part of the \gls{MTASK} system yet and hence not part of the dissertation.
+
+\begin{enumerate}[resume]
+ \item \emph{Strongly-Typed Multi-View Stack-Based Computations} \citep{koopman_strongly-typed_2022}\label{enum:stack-based} 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.
+\end{enumerate}
+
+\paragraph{Contribution:}
+The papers of which I am first author are solely written by me, there were weekly meetings with co-authors in which we discussed and refined the ideas.
+
+\subsection{\Fullref{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-Based \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}\footnotetext{This work is an extension of my Master's thesis \citeyearpar{lubbers_task_2017}.}
+ shows how a simple imperative variant of \gls{MTASK} was integrated with \gls{ITASK}.