strong and weak typing

classification of programming language type systems by how strongly they guarantee program validity

Categories: