\documentclass[a4paper]{article}

\usepackage[english]{babel}
\usepackage[margin=2cm,bottom=3.5cm]{geometry}
\usepackage[hidelinks]{hyperref}
\usepackage{natbib}

\usepackage{amsmath}
\usepackage{enumitem}
\usepackage{multicol}
\usepackage{stmaryrd}

\usepackage{syntax}
\renewcommand\litleft{\bgroup\tt}
\renewcommand\litright{\egroup}
\def\<#1>{\synt{#1}}
\def\`#1'{\lit{#1}}

\usepackage{clean}
\lstset{language=Clean,breaklines,tabsize=2,xleftmargin=\parindent}

\usepackage{while}

\title{Imperative code interpretation in a functional style}
\author{Camil Staps}

\begin{document}

\abovedisplayshortskip=-4pt
\abovedisplayskip=\abovedisplayshortskip
\belowdisplayshortskip=7pt
\belowdisplayskip=\belowdisplayshortskip

\maketitle
\input{abs}

\begin{multicols}{2}
	\input{intro}
	\input{predefs}
	\input{ast}
	\input{eval}
	\input{interp}
	\input{concl}
	\input{disc}

	\bibliographystyle{jfp}
	\bibliography{paper}

	\appendix
	\input{ftypes}
\end{multicols}

\end{document}