Commit c8f29f22 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

more on related

parent f09a4c60
......@@ -286,6 +286,11 @@ formalizing it in our system.
\rev{%%%
We end this presentation of related work with a discussion on side
effects. Even if in our system we did not take into account
side-effects and ...
side-effects and actually our system works because all the expressions
of our language are pure, it is interesting to see how the different
approaches of gradual typing position with respect to the problem of
handling side-effect since it better position our work in the taxonomy
of the current litterature. As Sam Tobin-Hochstadt insightfully
noticed ...
}%%%rev
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