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 repository is not currently reporting citations. For information on how your repository can report citations, please see our documentation.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.