diff options
Diffstat (limited to 'paper/paper.tex')
| -rw-r--r-- | paper/paper.tex | 42 |
1 files changed, 36 insertions, 6 deletions
diff --git a/paper/paper.tex b/paper/paper.tex index d036bda..7d63d8c 100644 --- a/paper/paper.tex +++ b/paper/paper.tex @@ -1,11 +1,14 @@ \documentclass[a4paper]{article} \usepackage[english]{babel} -\usepackage{geometry} +\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} @@ -13,6 +16,20 @@ \def\<#1>{\synt{#1}} \def\`#1'{\lit{#1}} +\usepackage{clean} +\usepackage[dvipsnames]{xcolor} +\lstdefinestyle{coloured}{ + keywordstyle=\bfseries\color{NavyBlue}, + stringstyle=\ttfamily\color{BrickRed} +} +\lstset{ + language=Clean, + breaklines, + tabsize=2, + xleftmargin=\parindent, + style=coloured +} + \usepackage{while} \title{Imperative code interpretation in a functional style} @@ -20,13 +37,26 @@ \begin{document} -\maketitle +\abovedisplayshortskip=-4pt +\abovedisplayskip=\abovedisplayshortskip +\belowdisplayshortskip=7pt +\belowdisplayskip=\belowdisplayshortskip +\maketitle \input{abs} -\input{intro} -\bibliographystyle{jfp} -\bibliography{paper} +\begin{multicols}{2} + \input{intro} + \input{predefs} + \input{ast} + \input{eval} + \input{interp} + + \appendix + \input{ftypes} -\end{document} + \bibliographystyle{jfp} + \bibliography{paper} +\end{multicols} +\end{document} |