\title{Approche fonctionnelles de la programmation}
\author{Didier \textsc{Verna}}
\date{}

\maketitle

\input{intro.tex}
\input{biblio.tex}