Source

xp.memo / paper / paper.lhs

Full commit
\documentclass[a4paper,11pt]{article}
\usepackage[english]{babel}
\usepackage[sort&compress]{natbib}
\usepackage{color , hyperref , tikz} 
\usepackage{verbatim , parskip, fullpage}
\usepackage{amsmath}
\usepackage{alltt}

\definecolor{syntax}{RGB}{0, 0, 0}
\definecolor{datatype}{RGB}{196, 6, 11}
\definecolor{class}{RGB}{168,37,39}
\definecolor{fieldname}{RGB}{0,0,162}
\definecolor{prelude}{RGB}{64,80,117}
\definecolor{numeral}{RGB}{0,0,205}
\definecolor{infixoperator}{RGB}{19, 19, 168}
\definecolor{constructor}{RGB}{196, 6, 11}
\definecolor{keyword}{RGB}{4, 58, 252}
\definecolor{special1}{RGB}{159,138,0}
\definecolor{string}{RGB}{3, 106, 7}
\definecolor{char}  {RGB}{3, 106, 7}


%include lhs2TeX.fmt
%include paper.fmt
%subst char a    	= "\color{char}\text{\tt ''" a "''}"
%subst string a  	= "\color{string}\text{\tt \char34 " a "\char34}"
%subst numeral a =  "\color{numeral}{ " a " }"

\newcommand{\hKeyword}[1]{\textbf{\color{steelblue}{#1}}}
\newcommand{\hChar}[1]{\textbf{#1}}
\newcommand{\hString}[1]{\textbf{#1}}
\newcommand{\hNumeral}[1]{\textbf{#1}}

\def\mytitle{Dead-code elimination for a functional language}

\def\myauthor{Alessandro Vermeulen, Johan Jeuring\\ Utrecht University, 2011.}

\title{\mytitle}
\author{\myauthor}


\frenchspacing
\definecolor{steelblue}{RGB}{3,46,135}
\hypersetup{pdftitle=\mytitle,pdfauthor=\myauthor,linkcolor=steelblue}
\hypersetup{colorlinks=true}

\begin{document}
  
\maketitle

\section{Introduction}

  \subsection{Research question}
  
\section{Previous work}
\cite{Hinze00memofunctions}

\section{Our contribution}

\section{Future work}

\section{Conclusion}

\bibliographystyle{plainnat}
\bibliography{references}


\end{document}