\documentclass{beamer}

\usepackage{listings}              % Source code
\usepackage{subcaption}            % Subcaptions
\usepackage{lmodern}               % Better teletype fonts
\usepackage{textcomp}              % Nice listings quotes
\usepackage[nodayofweek]{datetime} % Use a fixed document date

% Beamer style
\usetheme{Singapore}
\usecolortheme{default}

% Images directory
\graphicspath{{img/}}

% Always have url in teletype
\urlstyle{tt}

% Setup pdf parameters
\hypersetup{%
	pdftitle={Task Oriented Programming and the Internet of Things},
	pdfauthor={Mart Lubbers},
	pdfsubject={Task Oriented Programming and the Internet of Things},
	pdfcreator={Mart Lubbers},
	pdfproducer={Mart Lubbers},
	pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT}
}
% Clean language spec for listings
\lstdefinelanguage{Clean}{%
	alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
	alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
	morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
	sensitive=true,
	morecomment=[l]{//},
	morecomment=[n]{/*}{*/},
	morestring=[b]",
	morestring=[b]',
	emptylines=1,
	basewidth=0.45em,
	columns=[c]fixed,
	texcl=true,
	upquote=true,
	literate=%
		% Basic Clean constructs
		{\\}{{$\lambda\:$}}1
		{A.}{{$\forall\;\,$}}1
		{E.}{{$\exists\;\,$}}1
		{*}{{$^*$}}1
}

% Handy shortcut for inline Clean code
\newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}

% General listings settings
\lstset{%
	breakatwhitespace=false,
	breaklines=true,
	captionpos=b,
	keepspaces=true,
	basicstyle=\ttfamily\scriptsize,
	commentstyle=\slshape\fontseries{m},
	keywordstyle=\bfseries\fontseries{b},
	stringstyle=\ttfamily,
	showspaces=false,
	showstringspaces=false,
	showtabs=false,
	tabsize=4,
	frame=L
}

\author[M. Lubbers]{
	Mart Lubbers BSc.\\[1em]
	\small
	\textit{Supervisor:}\\
	prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\[1em]
	\textit{Second reader:}\\
	dr.~P.W.M.~Koopman
}

\title{Task Oriented Programming and the Internet of Things}
\subtitle{\sc Master's Thesis: Computing Science}
\institute[Radboud University]{Radboud University Nijmegen}
\subject{Task Oriented Programming}
\date[2017]{\formatdate{10}{7}{2017}}