1 paper · 1 filter
Samuel W. Flint, Robert Dyer, Bonita Sharif
Statically-annotated types have been shown to aid developers in a number of programming tasks, and this benefit holds true even when static type checking is not used. It is hypothe…