1.Previous
3.Next

statically typed programming languages, these environments are used and maintained by typing rules to type check a given program or expression.

See also

* Type system

References

1.Previous
3.Next