Cω

Cω is a research programming language. It can be written (and searched for) as Cw or the "Comega language". Learn more about it @ http://research.microsoft.com/en-us/um/cambridge/projects/comega/