typo

practical.tex

@@ -24,7 +24,7 @@ and, even more,  the \code{and\_} and \code{xor\_} functions given
 in \eqref{and+} and \eqref{xor+} later in this
 section are out of reach of current systems, even when using the right explicit
 annotations. Table~\ref{tab:implem2} allows for a direct comparison of with
-\cite{THF10} be giving the type inferred for the fourteen examples given in that
+\cite{THF10} by giving the type inferred for the fourteen examples given in that
 work.
 
 It should be noted that for all the examples we present, the