Commit 3ed805d9 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

Some typos and grammar

parent 38f48667
......@@ -162,12 +162,12 @@ Indeed our {\tt example10} function can be applied to an integer, but
at runtime the application of {\tt f ~x} will diverge.
Although these experiments are still preliminary, they show how the
combination of occurrence typing and set-theoretic types, together
combination occurrence typing and set-theoretic types, together
with the type inference for overloaded function types presented in
Section~\ref{sec:refining} allows us to go beyond what languages like
TypeScript and Flow which can only infer single arrow types.
Section~\ref{sec:refining} goes beyond what languages like
TypeScript and Flow do, since they can only infer single arrow types.
Our refining of overloaded
function is also future proof. Since it ``retypes'' functions
functions is also future-proof and resilient to extensions: since it ``retypes'' functions
using information gathered by the typing of occurrences in the body,
its precision will improve when we further improve the
our occurrence typing implementation.
its precision will improve with any improvement of
our occurrence typing framework.
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