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