\documentclass{llncs}

%include lhs2TeX.fmt
%include polycode.fmt

\usepackage{stmaryrd}
\usepackage{float}
\usepackage{graphicx}
\usepackage{pgf}
\usepackage{tikz}
\usepackage{subfigure}
\usepackage{color}
\usepackage{xcolor}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{stmaryrd}
\usepackage{makeidx}
\usepackage{txfonts}

\usetikzlibrary{arrows,positioning}
\floatstyle{boxed}
\restylefloat{figure}
\setlength{\fboxsep}{1.4pt}

\renewcommand{\hscodestyle}{\normalsize}
\newenvironment{smallcode}[0]{\renewcommand{\hscodestyle}{\small}}{\renewcommand{\hscodestyle}{\normalsize}}

\newcommand\kw[1]{\ensuremath{\mathbf{#1}}}
\newcommand\uw[1]{\ensuremath{\underline{\mathsf{#1}}}}

\newcommand\Thiswork[0]{This paper}
\newcommand\thiswork[0]{this paper}

\newcommand\textualcite[2]{#1~\cite{#2}}
\newcommand\citep[1]{\cite{#1}}
\newcommand\citet[1]{\cite{#1}}

\begin{document}
  
\title{Dependently Typed Attribute Grammars}
\author{Arie Middelkoop \and Atze Dijkstra \and S. Doaitse Swierstra}
\institute{Universiteit Utrecht,\\The Netherlands}

\maketitle

%let thesis = false
%let fullversion = false

%include content.lhs

\subsubsection*{Acknowledgments.}
This work was supported by Microsoft Research through its European PhD Scholarship Programme.
We thank the anonymous reviewers of IFL'10 for their extensive comments and suggestions
during the post-refereeing process.

\bibliographystyle{splncs03}
%%\bibliographystyle{plainnat}
\bibliography{references}

\end{document}