Confined Gradual Typing: Benchmarks
You probably want to be here:
CGT