Research data supporting "Dynamically Diagnosing Type Errors in Unsafe Code"
Repository URI
Repository DOI
Loading...
Type
Change log
Authors
Description
Buildable source code of the libcrunch system and related codebases, within a Debian 8.5 (Jessie) distribution, packaged as a VirtualBox virtual machine image.
Version
Software / Usage instructions
VirtualBox 5.0.4 or newer
Keywords
Publisher
Rights and licensing
Different licences apply to different parts of this archive. Unless stated otherwise, all rights are reserved by the respective copyright holders.
Sponsorship
Engineering and Physical Sciences Research Council (EP/K008528/1)