Fact: A Flexible, Constant-Time Programming Language [pdf]
cseweb.ucsd.edu