Commit 2237d832 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

typo

parent f54e3507
......@@ -61,7 +61,7 @@ constructs such as pairs, records or recursive types.
\citet{Cha2017} present the design and implementation of Flow by formalizing a relevant
fragment of the language. Since they target an industrial-grade
implementation they must account for aspects that we could afford to
implementation, they must account for aspects that we could afford to
postpone to future work, notably side effects and responsiveness of
the type checker on very large code base. The degree of precision of
their analysis is really impressive and they achieve most of what we
......
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