An experimental language from Microsoft Research adding first class functions and an expressive type system to a C-like language designed to retain the resource and layout control that C and C++ provide, but without the unsafety associated with those langauges.