% this is just to test latex highlighting
% it will not compile with latex though :-)

\runningheads{L.~Bettini, S.~Capecchi and B.~Venneri}
{Double Dispatch in \CC}

This is an higlighted \command.

\lstdefinelanguage{xklaim}%
  {morekeywords={if,else,then,endif,while,do,enddo,begin,end,rec,ref,declare,%
      int,str,loc,process,bool,locname,ts,var,within,in,out,read,eval,newloc,%
      go,true,false,not,and,or,nil,add,rm,newc,extern,%
      inp,readp,forall,const,nodes,endnodes,on,print,logloc,phyloc,%
      login,logout,accept,disconnected,accept,subscribe,unsubscribe,%
      dirconnect,acceptconn,%
      register,unregister,nodecoord,port,start,cons,%
      return,new,object,class,mixin,def,redef,expect,next,this,red,exp,type},%
    keywords=[2]{self},%
    keywordstyle=[2]\ttfamily,%
    alsoother=@,%
    morecomment=[l]\#,%
    sensitive=f,%
    morestring=[b]"%
   }[keywords,strings]

\frame{
\frametitle{Tuples and Pattern Matching}
  \begin{itemize}
  \item Tuples and Templates
    \[
    ("foo", 10+5, !x)
    \]
    \begin{itemize}
    \item Formal Fields
    \item Actual Fields
    \end{itemize}
  \item Pattern Matching:
    \begin{itemize}
    \item Formal fields match any field of the same type
    \item Actual fields
      match if identical
    \end{itemize}
  \end{itemize}
\vspace{0.4cm}
\begin{block}{}
\begin{center}
$("foo", 10+5, true)$ \alert{matches} $(!s, 15, !b)$
\end{center}
\end{block}
}

This is mathematic with \$\$:

$$
i = j
$$

the same but with \[ \]:

\[
i = j
\]

`Private, Protected and Virtual Methods').
This line's body shouldn't have the highlighted '.

L.~Bettini

\paragraph*{Typing rule for multi method invocation.}