2 \newcommand{\GHCmod}[1]{\texttt{#1}}
3 \newcommand{\aramsingh}{Ramsingh, A.\ (University of Glasgow)
}
4 \newcommand{\dcolon}[0]{\mathbin{::
}}
5 \newcommand{\doifmt}[1]{\href{https://doi.org/
#1}{#1}}
6 \newcommand{\etc}{{\fontfamily{cmr
}\selectfont{\itshape\/\&
\kern-
0.2em c
}}}
7 \newcommand{\jsinger}{Singer, J.\ (University of Glasgow)
}
8 \newcommand{\mlubbers}{Lubbers, M.\ (Radboud University)
}
9 \newcommand{\pkoopman}{Koopman, P.\ (Radboud University)
}
10 \newcommand{\ptrinder}{Trinder, P.\ (University of Glasgow)
}
11 \newcommand{\rplasmeijer}{Plasmeijer, R.\ (Radboud University)
}
12 \newcommand{\rdmentry}[5]{#1 (
#2):
#3.
#4.\
\doifmt{#5}}
13 \newcommand{\rewriterate}[2]{\langle{}\mathit{#1},
\mathit{#2}\rangle{}}
14 \newcommand{\requiresGHCmod}[2][]{\footnote{Requires
\GHCmod{#2} to be enabled.
#1}}
15 \newcommand{\erasmusplus}{ERASMUS
\raisebox{.25ex
}{+
}}
16 \newcommand{\imtask}{\gls{ITASK
}\slash\gls{MTASK
}}
17 \newcommand{\citask}{\gls{CLEAN
}\slash\gls{ITASK
}}
18 \newcommand{\Citask}{\Gls{CLEAN
}\slash\gls{ITASK
}}
19 \newcommand{\cmtask}{\gls{CLEAN
}\slash\gls{MTASK
}}
20 \newcommand{\Cmtask}{\Gls{CLEAN
}\slash\gls{MTASK
}}
21 \newcommand{\cimtask}{\gls{CLEAN
}\slash\gls{ITASK
}\slash\gls{MTASK
}}
22 \newcommand{\Cimtask}{\Gls{CLEAN
}\slash\gls{ITASK
}\slash\gls{MTASK
}}
23 \newcommand{\ccpp}{\texorpdfstring{\gls{C
}\slash\gls{CPP
}}{C
\slash{}C
\texttt{++
}}}
24 \newcommand{\Ccpp}{\texorpdfstring{\Gls{C
}\slash\gls{CPP
}}{C
\slash{}C
\texttt{++
}}}
25 \newcommand{\stacksize}[1]{\parallel#1\parallel}
27 \newcommand{\cschemeE}[2]{\mathcal{E
}\llbracket#1\rrbracket~
#2}
28 \newcommand{\cschemeF}[1]{\mathcal{F
}\llbracket#1\rrbracket}
29 \newcommand{\cschemeS}[3]{\mathcal{S
}\llbracket#1\rrbracket~
#2~
#3}
31 \newcommand{\IOT}{\texorpdfstring{Io
\kern-
1ptT
}{IoT
}}
32 \newcommand{\IIC}{I
\textsuperscript{2}C
}
33 \newcommand{\conference}[1]{\emph{#1}}
34 \newcommand{\tfp}{\conference{International Symposium on Trends in Functional Programming (TFP)
}}
35 \newcommand{\ifl}{\conference{Symposium on Implementation and Application of Functional Languages (IFL)
}}
36 \newcommand{\rwdsl}{\conference{International Workshop on Real World Domain Specific Languages (RWDSL)
}}
37 \newcommand{\fcows}{\conference{COnference on COmposability, COmprehensibility and COrrectness of Working Software (
4COWS)
}}
38 \newcommand{\tiot}{\conference{ACM Transactions on Internet of Things (T
\IOT{})
}}
39 \newcommand{\iotconf}{\conference{International Conference on the Internet of Things (
\IOT{})
}}