The paper I mentioned, is also done as part of Verona project

https://www.microsoft.com/en-us/research/project/project-ver...

Maybe they are now mostly behind MS walls, or have indeed decided to look elsewhere for their research goals.