-\paragraph{Other publications on \texorpdfstring{\glspl{EDSL}}{eDSLs}:}
-Furthermore, I co-authored a 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-\kern-2.5ptView Stack-\kern-1.25ptBased 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{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}