Source code behind the Microsoft Research project Ada - View it on GitHub