bkyk8rc3zvpnsf5inmcqq4n3k98cv6hj-my-site-hyper-literate-git.test.suzanne.soy-0.0.1

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

bibtex.normal.txt (434B)

      1 Bibliography
      2 
      3 Ran Canetti. Universally Composable Security: A New Paradigm for     
      4 Cryptographic Protocols. 2000.                                       
      5 Michael Salib. Starkiller: A Static Type Inferencer and Compiler for 
      6 Python. Massachusetts Institute of Technology, 2004.                 
      7 Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt,
      8 and Matthias Felleisen. Languages as Libraries. In Proc. PLDI, 2011.