bn:16391310n
Noun Concept
FR
No term available
EN
Gradual typing is a type system in which some variables and expressions may be given types and the correctness of the typing is checked at compile time and some expressions may be left untyped and eventual type errors are reported at runtime. Wikipedia
Relations
Sources