\documentclass[a4paper]{article}

\usepackage[english]{babel}
\usepackage{geometry}
\usepackage[hidelinks]{hyperref}
\usepackage{natbib}

\usepackage{enumitem}

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

\usepackage{while}

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

\begin{document}

\maketitle

\input{abs}
\input{intro}

\bibliographystyle{jfp}
\bibliography{paper}

\end{document}