Sebyla

Sebyla is a C#-like programming language using capability principles.