\documentclass[xcolor=pst,hypertex,compress]{beamer}
\beamertemplatenavigationsymbolsempty

\mode<article> % only for the article version
{
  \usepackage{fullpage}
  \usepackage{hyperref}
}
 
\mode<presentation>
{
%%   \setbeamertemplate{background canvas}%
%%              [vertical shading][bottom=red!10,top=blue!10]
%%   \usetheme{Warsaw}
%  \useoutertheme{split}%infolines%miniframes
%%   \usefonttheme[onlysmall]{structurebold}
}

\usepackage{pgf,pgfarrows,pgfnodes,pgfautomata,pgfheaps,pgfshade,
}
%% \usepackage{amsmath,amssymb}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\usepackage{mlf}
\usepackage{boolean}
\usepackage{pstcol}
\usepackage{pst-node}
\usepackage{hyperref}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% HEADER

\title{\MLF}
\author{Didier R{\'e}my\inst{1}}
\institute{\inst{1}INRIA-Rocquencourt}
\date[Nov  2006]{ML Workshop, 2007}
\subject{\MLF}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}%
\frame{AAAAA\vfill\null}
\frame{AAAAA\vfill\null}
\begin{frame}%[fragile=singleslide]

AA
\vfill
\vbox{%
\hrule
aaaa[\only<1>{A}\only<2>{B}\only<3>{C}]bbbb
\hrule
}
\vfill
BB

%% \only<1>{%
%% \adviedit{w=13.9364}{%
%% \hsize \adviw \hbox{\vbox %to \advih
%% {%
%% \hfill \psframebox{\large F}
%% \\[2em]
%% \psframebox{\Huge ML}\\
%% }}}}%
%% \only<2>{%
%% \adviedit{w=13.9364}{%
%% \hsize \adviw \hbox{\vbox %to \advih
%% {%
%% \hfill \psframebox{\huge F}
%% \\[2em]
%% \psframebox{\large ML}\\
%% }}}}%

\vfil

\end{frame}
%\frame{\titlepage}
%\section<presentation>*{Outline}
\begin{frame}{Outline}
\tableofcontents
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Motivations}
\AtBeginSection[]{%
  \begin{frame}<beamer>
    \frametitle{Outline}
    \tableofcontents[currentsection]
  \end{frame}%
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}{Higher order types}

\end{frame}
\begin{frame}{Impredicativity}

\end{frame}
\begin{frame}{Type inference}

\end{frame}
\begin{frame}{Existing solutions}

\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Problem}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}{Higher order types}

\end{frame}
\begin{frame}{Impredicativity}

\end{frame}
\begin{frame}{Impredicativity}

\end{frame}
\begin{frame}{Impredicativity}

\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\end{document}
