Research Artifacts.

The evaluation surrounds Typed Racket’s implementation of gradual types, I wonder if these same (or similar) tests were run onto of a different VM, (like hotspot) if their conclusions would be different.