\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {4}The type language}{49}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{TypeLanguage}{{4}{49}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Overview}{49}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Polymorphism}{49}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Multiple Type Overloading}{50}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Currying}{50}}
\newlabel{curry}{{4.1}{50}}
\newlabel{mcurry}{{4.2}{50}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Standardizing}{50}}
\citation{leroy-boxing}
\citation{caml}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.5}Copying}{51}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.6}Equality}{51}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.7}Unifying}{51}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.8}Boxing/Unboxing}{51}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}The type system}{52}}
\newlabel{typesystem}{{4.2}{52}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Static types}{53}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}Primitive types}{53}}
\@writefile{toc}{\contentsline {subsubsection}{Boxable types}{53}}
\@writefile{toc}{\contentsline {subsubsection}{Boxed types}{53}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}Type constructors}{53}}
\@writefile{toc}{\contentsline {subsubsection}{Function types}{53}}
\@writefile{toc}{\contentsline {subsubsection}{Tuple types}{53}}
\@writefile{toc}{\contentsline {subsubsection}{Array types}{54}}
\@writefile{toc}{\contentsline {subsubsection}{Collection types}{54}}
\@writefile{toc}{\contentsline {subsubsection}{Class types}{54}}
\newlabel{CounterClass}{{4.4}{54}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}Polymorphic types}{56}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Type definitions}{56}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}Type aliasing}{57}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.2}Type hiding}{57}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Dynamic types}{57}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.1}Extensional types}{58}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.2}Intensional types}{58}}
\@writefile{toc}{\contentsline {subsubsection}{Example: non-negative numbers}{58}}
\@setckpt{types}{
\setcounter{page}{59}
\setcounter{equation}{9}
\setcounter{enumi}{3}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{7}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{4}
\setcounter{section}{5}
\setcounter{subsection}{2}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{theorem}{0}
\setcounter{definition}{0}
\setcounter{corollary}{0}
\setcounter{example}{0}
\setcounter{exercise}{0}
\setcounter{algolistcounter}{0}
\setcounter{bnflistcounter}{1}
\setcounter{bnfrulecounter}{6}
\setcounter{globenumcounter}{0}
\setcounter{tfcounter}{0}
\setcounter{qcounter}{0}
\setcounter{sqcounter}{0}
}