Please tell me that the referenced C# dialect used in Midori is available in some form for use, research or general learning? This would really make my week!!
You have Joe Duffy's blog entries about Midori and one entry back when it was still called M#.
Then there are the little pieces that came to C# from it.
Namely async/await, TPL, the MDIL compiler on Windows 8.x, the .NET Native compiler for UWP, the improved GC control in .NET 4.6 and the planned features for C# 7.1, 7.2 and 8.0 related to more mechanical sympathy.
Joe Duffy's blog about Midori
http://joeduffyblog.com/2015/11/03/blogging-about-midori/
Joe's blog entry about what was known as M# at the time
http://joeduffyblog.com/2013/12/27/csharp-for-systems-progra...
Joe's presentation at QCon 2015, "Safe Systems Programming in C# and .NET"
https://www.infoq.com/presentations/csharp-systems-programmi...
Channel 9 presentations about MDIL compiler for Windows 8.x
https://channel9.msdn.com/Events/Build/2012/3-005
https://channel9.msdn.com/Shows/Going+Deep/Mani-Ramaswamy-an...
Channel 9 presentations about .NET Native
https://channel9.msdn.com/Shows/Going+Deep/Inside-NET-Native
https://channel9.msdn.com/events/dotnetConf/2014/-NET-Native...
GC Improvements on .NET 4.6, including memory guarantees for performance critical sections
https://docs.microsoft.com/en-us/dotnet/api/system.gc.trysta...
https://blogs.msdn.microsoft.com/alphageek/2017/01/24/signif...
C# roadmap for 7.1, 7.2 and 8.0 with more memory friendly features
https://github.com/dotnet/roslyn/blob/master/docs/Language%2...
Joe is presenting a keynote at Rustconf, about memory safe systems programming.