no code implementations • 15 Jun 2019 • Joseph Eremondi, Éric Tanter, Ronald Garcia
Dependent typechecking involves the execution of program code, but gradually-typed code can signal runtime type errors or diverge.
Programming Languages