Commit 2a148d44 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

added comment

parent 7d2aa75a
......@@ -74,10 +74,12 @@ proposition} approach of Typed Racket to better stress the limitation
of our approach and discussed at length some technical choices that
distinguish our approach from current ones. We expanded the discussion
on refinement types starting from the references given by reviewer
2. We added several new examples. We also positioned our work in the design space of occurrence
typing systems in particular w.r.t. the handling of side effects. All
in all the related work section is now more than four times longer than in the
submitted version.
2. We added several new examples. We also positioned our work in the
design space of occurrence typing systems in particular w.r.t. the
handling of side effects. All in all the related work section is now
more than four times longer than in the submitted version and, on the
whole text, the comparison with related work now uses a quarter of the
space of the main text.
\end{answer}
\section{Reviewer \#1:}
......
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