Now showing items 1-1 of 1
Soft typing: An approach to type checking for dynamically typed languages
In an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be classified as either static or dynamic. Static type systems ...