blob: 7d63d8c3a62e5d56d9493ffa4f1057c7fdf378e7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
\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}
\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}
\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}
\appendix
\input{ftypes}
\bibliographystyle{jfp}
\bibliography{paper}
\end{multicols}
\end{document}
|
