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

typos

parent 97a4ea42
......@@ -410,10 +410,10 @@ types and presents two applications of our analysis: the inference of
arrow types for functions and a static analysis to reduce the number
of casts inserted by a compiler of a gradually-typed
language. Practical aspects are discussed in
Section~\ref{sec:practical} where we give several paradigmatic examples of code typed by our prototype implementation. Section~\ref{sec:related} presents
Section~\ref{sec:practical} where we give several paradigmatic examples of code typed by our prototype implementation, that can be interactively tested at \url{https://occtyping.github.io/}. Section~\ref{sec:related} presents
related work. A discussion of future work concludes this
presentation.
%
For space reasons several technical definitions and all the proofs are
omitted from this presentation and can be found in the appendix
available online.
......
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