Research data supporting "Dynamically Diagnosing Type Errors in Unsafe Code"
Repository URI
Repository DOI
No Thumbnail Available
Type
Dataset
Change log
Authors
Kell, SR
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
libcrunch
Publisher
Rights
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)