Commit 2a63b4cb authored by Victor Lanvin's avatar Victor Lanvin
Browse files

Removed tags. Removed gradual from related.

parent 4efc5cfd
......@@ -331,7 +331,7 @@ are several distinct instances of the same polymorphic type.
\rev{TODO refinement + gradual ?}
%\rev{TODO refinement + gradual ?}
\citet{Kent16} bridge the gap between prior work on occurrence typing
and SMT-based (sub-)typing. They introduce the $\lambda_{RTR}$ core calculus, an
......@@ -687,8 +687,6 @@ the new contributions.
{[}5{]} studies the integration of liquid with gradual types while
preserving the gradual guarantees.
The reviewer forgot to include the reference [5] in the report but
we are pretty sure that [5] must refer to ``Gradual Liquid Type
Inference'' (OOPSLA 2018). We were aware of this work, of course,
......@@ -1069,8 +1067,6 @@ languages, how would you describe the relationship between occurrence
typing and `smart casts' in Kotlin, resp. type promotion in Dart? Those
languages use a mostly sound static type system, and smart-casts / type-promotion play a big role in practice.
ANYBODY? Victor?!!!
Kotlin and Dart is ground zero occurrence typing that does not require any
formal development. It is less expressive than a small hack that we
implemented in CDuce (which works not only when the tested
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