Sampling Gradual Typing Performance 2018-05-08 :: gradual typing, migratory typing, performance, statistics, Takikawa constant By: Ben Greenman, Zeina Migeed This post explains the sampling method introduced in the paper On the Cost of Type-Tag Soundness