3 ms·
Could you justify this assertion? Here[1] is an analysis by Andreas Rossberg that indicates that this isn't the case. [1] http://stackoverflow.com/a/23019436
by kvb 11y ago
Could you justify this assertion? Here[1] is an analysis by Andreas Rossberg that indicates that this isn't the case.
[1] http://stackoverflow.com/a/23019436 http://stackoverflow.com/a/23019436
- mafribe 11y agoI was thinking about the statement 1ML is a user-friendly surface syntax for System Fω in the paper's abstract. I think Fω lives inside Scala. But, as the stackexchange article you cite shows, I should have been more careful in my statement.