typos.

extensions.tex

@@ -14,7 +14,7 @@ extend our work to records. Although we use the record types as they are
 defined in CDuce we cannot do the same for CDuce record expressions
 which require non-trivial modifications for occurrence typing,
 especially because we want to capture record field extension and field
-deletion which current radual typing systems fail to capture. CDuce record types are obtained by extending types with the
+deletion which current gradual typing systems fail to capture. CDuce record types are obtained by extending types with the
 following two type constructors:\\[1.4mm]
 %
 \centerline{\(\textbf{Types} ~~ t ~ ::= ~ \record{\ell_1=t \ldots \ell_n=t}{t}\alt \Undef\)}\\[1.4mm]

language.tex

@@ -71,7 +71,7 @@ for $j=1,2$. In~\eqref{expressions}, $c$ ranges over constants
 (e.g., \texttt{true}, \texttt{false}, \texttt{1}, \texttt{2},
 ...) which are values of basic types (we use $\basic{c}$ to denote the
 basic type of the constant $c$); $x$ ranges over variables; $(e,e)$
-denote pairs and $\pi_i e$ their projections; $\tcase{e}{t}{e_1}{e_2}$
+denotes pairs and $\pi_i e$ their projections; $\tcase{e}{t}{e_1}{e_2}$
 denotes the type-case expression that evaluates either $e_1$ or $e_2$
 according to whether the value returned by $e$ (if any) is of type $t$
 or not; $\lambda^{\wedge_{i\in I}s_i\to t_i} x.e$ is a value of type