Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- In computer science, a programming language with a static type system is considered to be type sound if a well-typed program cannot cause type errors.
- If an expression is assigned type t, and it evaluates to a value v, then v is in the set of values defined by t
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement