[ Course Documents ] : [ Names and Binding ]

Previous Contents Next Keyword Index

Type Bindings

Two key issues in binding a type to an identifier:

1. How is a type specified?

2. When does the binding take place?