Commit 30bdad3d authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

rewording

parent 7caaedf1
......@@ -49,7 +49,7 @@ _Canonical_: The order in which we discussed the typing rules was a presentation
_Definitive_: We did not have the space to argue it, but we *think* that our approach captures all it is possible to deduce by a monomorphic compositional type-system with set-theoretic types, that is, everything that does not need, say, a flow analysis. While we can argue about it, we so far failed to find a formal way to state it. Trade-offs start when trying to include contextual information (give up compositionality) and with polymorphism: the results we have about polymorphism are, in that case, preliminary, which is why, although we find them interesting, we relegated them to the end of the appendix.
_Preliminary_: We presented two different applications of our system: reconstruction of arrow intersections and optimization of the compilation of gradually typed languages. We hope the reviewer will convene that this is unusual for a preliminary system.
_Preliminary_: We presented two different applications of our system: reconstruction of arrow intersections (and detection of some dead code) and optimization of the compilation of gradually typed languages. We hope the reviewer will convene that this is unusual for a preliminary system.
**ReviewersAC** _The implementation section is ... only for a simplified version of the presented system ... unclear in what the evaluation of the implementation intended to demonstrate._
......
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