source: Papers/polymorphic-variants-2012/polymorphic-variants.tex @ 2397

\documentclass[smallextended]{svjour3}

\smartqed

\usepackage[english]{babel}
\usepackage[colorlinks]{hyperref}
\usepackage{microtype}


\author{Dominic P. Mulligan \and Claudio Sacerdoti Coen}
\title{Polymorphic variants in dependent type theory\thanks{The project CerCo acknowledges the financial support of the Future and Emerging Technologies (FET) programme within the Seventh Framework Programme for Research of the European Commission, under FET-Open grant number: 243881.}}

\institute{
  Dominic P. Mulligan \at
  Computer Laboratory,\\
  University of Cambridge.
  \email{dominic.p.mulligan@gmail.com} \and
  Claudio Sacerdoti Coen \at
  Dipartimento di Scienze dell'Informazione,\\
  Universit\`a di Bologna.
  \email{sacerdot@cs.unibo.it}
}

\begin{document}

\maketitle

\begin{abstract}

Big long abstract introducing the work

\keywords{Polymorphic variants \and dependent type theory \and Matita theorem prover}

\end{abstract}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Section
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Introduction}
\label{sect.introduction}

\end{document}