i didn't realise mercury was still being actively developed, but they had a new release out last april and a bunch of papers this year http://www.mercury.csse.u

i didn't realise mercury was still being actively developed, but they had a new release out last april and a bunch of papers this year http://www.mercury.csse.unimelb.edu.au/ http://www.mercury.csse.unimelb.edu.au/ looking at the release notes i saw a mention of non-deterministic scopes, started poking around, and it looks like they are investigating automatic parallellism - http://subs.emis.de/LIPIcs/volltexte/2011/3182/pdf/25_.pdf http://subs.emis.de/LIPIcs/volltexte/2011/3182/pdf/25_.pdf