Sorry, in task based parallelism I meant in terms of no need explicit threading, which is both good and bad. Disclaimer: my thesis is on a very similar system

Sorry, in task based parallelism I meant in terms of no need explicit threading, which is both good and bad. Disclaimer: my thesis is on a very similar system for a different programming language (before this paper was released), with some differences. For example they assume mutable is the default, where I assume readonly is the default.