Commit 4433f062 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

typos

parent 6e33fc02
......@@ -385,9 +385,9 @@ and \cite{KF09}, propagates the precise type constraints learned
during a test. However, in the latter, whole the information can be
kept at the type level, since dependent types contains terms and can
introduce variables, while in our approach the mapping is kept in an
environment. The tracking of types for structured expressions thus
seems a common aspect of different approaches to occurrence types,
nevertheless we are confident that even this last non-standard aspect
environment. Although tracking of types for structured expressions thus
seems thus an aspect commont to different approaches to occurrence types,
we are confident that even this last non-standard aspect
of our system can be removed and that occurrence typing can be
explained in a pure standard type-theoretic setting.
......
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