PrototypeOther architecturesCVSProject links
Sebyla is an attempt to implement strongly typed language with capability based security model.