b79fa2c540
The "racket" directory contains a pared-back version of the repository, roughly. The "pkgs" directory everything else in the repository, but organized into packages. original commit: b2ebb0a28bf8136e75cd98316c22fe54c30eacb2
9 lines
452 B
Plaintext
9 lines
452 B
Plaintext
Bibliography
|
|
|
|
[1]Ran Canetti. Universally Composable Security: A New Paradigm for
|
|
Cryptographic Protocols. 2000.
|
|
[2]Michael Salib. Starkiller: A Static Type Inferencer and Compiler for
|
|
Python. Massachusetts Institute of Technology, 2004.
|
|
[3]Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt,
|
|
and Matthias Felleisen. Languages as Libraries. In Proc. PLDI, 2011.
|