\contentsline {section}{\numberline {1}The Rationale behind {\psc Tl}}{1}
\contentsline {section}{\numberline {2}{\psc Tl}: A Language Overview}{3}
\contentsline {section}{\numberline {3}The {\psc Tl}\ Grammar}{9}
\contentsline {subsection}{\numberline {3.1}Symbols}{9}
\contentsline {subsection}{\numberline {3.2}Reserved Keywords}{10}
\contentsline {subsection}{\numberline {3.3}Compilation Units}{11}
\contentsline {subsection}{\numberline {3.4}Bindings}{11}
\contentsline {subsection}{\numberline {3.5}Values}{12}
\contentsline {subsection}{\numberline {3.6}Signatures}{13}
\contentsline {subsection}{\numberline {3.7}Types}{13}
\contentsline {subsection}{\numberline {3.8}Identifier}{14}
\contentsline {section}{\numberline {4}The {\psc Tl}\ Abstract Syntax}{15}
\contentsline {subsection}{\numberline {4.1}Syntactic Objects of {\psc Tl}}{15}
\contentsline {subsection}{\numberline {4.2}Normalization of {\psc Tl}\ Programs}{15}
\contentsline {subsection}{\numberline {4.3}Signatures, Bindings and Types}{18}
\contentsline {subsection}{\numberline {4.4}Values}{18}
\contentsline {section}{\numberline {5}The Static Semantics of {\psc Tl}}{21}
\contentsline {subsection}{\numberline {5.1}Overview over the Type Notations}{21}
\contentsline {subsection}{\numberline {5.2}Substitutions}{22}
\contentsline {subsection}{\numberline {5.3}Qualified Type Variables}{22}
\contentsline {subsection}{\numberline {5.4}Contractive Types}{23}
\contentsline {subsection}{\numberline {5.5}Well-formed Signatures}{23}
\contentsline {subsection}{\numberline {5.6}Well-formed Types}{24}
\contentsline {subsection}{\numberline {5.7}Signatures of Types and Values}{25}
\contentsline {subsection}{\numberline {5.8}Subsignatures}{25}
\contentsline {subsection}{\numberline {5.9}Subtypes}{25}
\contentsline {subsection}{\numberline {5.10}Signatures of Bindings}{27}
\contentsline {subsection}{\numberline {5.11}Types of Values}{28}
\contentsline {subsection}{\numberline {5.12}Restrictions}{29}