Commit 00aa768d authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

typo

parent 0bc84c09
......@@ -74,7 +74,7 @@ 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 few examples. We also positioned our work in the design space of occurrence
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.
......
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