Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)

Article Details
Title:	Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
Article URLs:	https://doi.org/10.1145/2951913.2951915
Alternative Article URLs:	https://www.cambridge.org/core/journals/journal-of-functional-programming/article/dynamic-witnesses-for-static-type-errors-or-illtyped-programs-usually-go-wrong/C9525689DAC80D153B94FAD292774444
Authors:	Eric L. Seidel	UC San Diego
	Ranjit Jhala	UC San Diego
	Westley Weimer	University of Virginia
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/ucsd-progsys/nanomaly/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1422471, 1223850, 1218344, 1116289, 0954024
DBLP Key:	conf/icfp/SeidelJW16
Author Comments:

ACM SIGPLAN International Conference on Functional Programming, ICFP 2016