Research data supporting "Dynamically Diagnosing Type Errors in Unsafe Code"

Stephen Kell
Buildable source code of the libcrunch system and related codebases, within a Debian 8.5 (Jessie) distribution, packaged as a VirtualBox virtual machine image.
This data center is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.
We found no citations for this dataset. For information on how to provide citation information, please see our documentation.