Fact: A Flexible, Constant-Time Programming Language [pdf]cseweb.ucsd.edu2 pointsitsspring6 years ago