blob: 4748091ae008db7471316a27f564735c5596c2c1 (
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
|
\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}
|
