collaborators

1 paper

cs.PL2025

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors

Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes +1

A gradual type system allows developers to declare certain types to be enforced by the compiler (i.e., statically typed), while leaving other types to be enforced via runtime check…