login sign up

Refinement Types for Ruby

arxiv.org
saved by
0 people
related read on
Stripe is building a Ruby typechecker from the discussion