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
}
repositories / phd-thesis.git / blob