Commit b8e5a5b4 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

rewording

parent 48935697
......@@ -474,10 +474,10 @@ The main contributions of our work can be summarized as follows:
% exploit the richer information provided by polymorphic types.
\end{itemize}
{\color{red}Beppe: We want to end by stressing the practical
implications of our work: a superficial analysis of it may give the
implications of our work: a superficial inspection may give the
wrong impression that the only interest of our heavy formalisation
is to have expressions rather than just variables in type cases:
this would be a bad trade-off. The important point is that our
this would be a bad trade-off. The important point is, instead, that our
formalization is what makes analyses such as the type reconstruction
of Section~\ref{sec:extensions} possible, which is where the real added practical
value and potential of our work resides.}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment