16 citations · 16 across the 1 of their papers we have counts for
1 paper
Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Gradual typing enables developers to annotate types of their own choosing, offering a flexible middle ground between no type annotations and a fully statically typed language. As m…