Commit 8814e56c authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Fix sentence relating our work and refinement types.

parent a322205e
......@@ -382,8 +382,9 @@ which is a pointer to the environment for the type hypothesis about
the expression and, as such, it plays the role of our extended type
environments. Likewise, the \emph{selfification} of \cite{OTMW04}
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
during a test. On difference is that with refinement types, the
information can be
kept at the level of types types, since dependent types contain 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,
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