\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {3}The kernel language}{5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{KernelLanguage}{{3}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Kernel expression}{5}}
\newlabel{expression}{{3.1}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Processing a kernel expression}{5}}
\newlabel{processing}{{3.2}{5}}
\citation{secd}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}Sanitizer}{6}}
\newlabel{Sanitizer}{{3.2.1}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}Typechecker}{6}}
\newlabel{Typechecker}{{3.2.2}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}Compiler}{6}}
\newlabel{Compiler}{{3.2.3}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Description of kernel expressions}{7}}
\newlabel{description}{{3.3}{7}}
\newlabel{contextextention}{{3.1}{9}}
\newlabel{condrule}{{3.3}{9}}
\newlabel{typingrule}{{3.4}{9}}
\newlabel{ctypingrule}{{3.5}{10}}
\newlabel{typingaxiom}{{3.6}{10}}
\newlabel{condtypingaxiom}{{3.7}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Constant}{11}}
\newlabel{Constant}{{3.3.1}{11}}
\newlabel{constantrules}{{3.9}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Abstraction}{12}}
\newlabel{Abstraction}{{3.3.2}{12}}
\newlabel{abstractionsyntax}{{3.10}{12}}
\newlabel{abstractionrule}{{3.11}{13}}
\newlabel{exitableabstractionrule}{{3.12}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}Application}{13}}
\newlabel{Application}{{3.3.3}{13}}
\newlabel{applicationsyntax}{{3.13}{13}}
\newlabel{applicationrule}{{3.14}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.4}Local}{14}}
\newlabel{Local}{{3.3.4}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.5}Parameter}{14}}
\newlabel{Parameter}{{3.3.5}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.6}Global}{14}}
\newlabel{Global}{{3.3.6}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.7}Dummy}{14}}
\newlabel{Dummy}{{3.3.7}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.8}Definition}{14}}
\newlabel{Definition}{{3.3.8}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.9}IfThenElse}{14}}
\newlabel{IfThenElse}{{3.3.9}{14}}
\newlabel{iterule}{{3.15}{14}}
\newlabel{itecompile}{{3.16}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.10}AndOr}{14}}
\newlabel{AndOr}{{3.3.10}{14}}
\newlabel{andorrule}{{3.17}{15}}
\@writefile{toc}{\contentsline {subsubsection}{And}{15}}
\newlabel{And}{{3.3.10}{15}}
\newlabel{andcompile}{{3.18}{15}}
\@writefile{toc}{\contentsline {subsubsection}{Or}{15}}
\newlabel{Or}{{3.3.10}{15}}
\newlabel{orcompile}{{3.19}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.11}Sequence}{16}}
\newlabel{Sequence}{{3.3.11}{16}}
\newlabel{sequencerule}{{3.20}{16}}
\newlabel{sequencecompile}{{3.21}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.12}Let}{16}}
\newlabel{Let}{{3.3.12}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.13}Loop}{16}}
\newlabel{Loop}{{3.3.13}{16}}
\newlabel{loopsyntax}{{3.22}{16}}
\newlabel{looprule}{{3.23}{16}}
\newlabel{loopcompile}{{3.24}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.14}ExitWithValue}{17}}
\newlabel{ExitWithValue}{{3.3.14}{17}}
\newlabel{exitwithvaluesyntax}{{3.25}{17}}
\newlabel{ewvrule}{{3.26}{18}}
\newlabel{ewvcompile}{{3.27}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.15}Assignment}{19}}
\newlabel{Assignment}{{3.3.15}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.16}NewArray}{19}}
\newlabel{NewArray}{{3.3.16}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.17}ArraySlot}{19}}
\newlabel{ArraySlot}{{3.3.17}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.18}ArraySlotUpdate}{19}}
\newlabel{ArraySlotUpdate}{{3.3.18}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.19}ArrayExtension}{19}}
\newlabel{ArrayExtension}{{3.3.19}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.20}ArrayInitializer}{19}}
\newlabel{ArrayInitializer}{{3.3.20}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.21}Tuple}{19}}
\newlabel{Tuple}{{3.3.21}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.22}NamedTuple}{19}}
\newlabel{NamedTuple}{{3.3.22}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.23}TupleProjection}{19}}
\newlabel{TupleProjection}{{3.3.23}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.24}TupleUpdate}{19}}
\newlabel{TupleUpdate}{{3.3.24}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.25}NewObject}{19}}
\newlabel{NewObject}{{3.3.25}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.26}DottedNotation}{19}}
\newlabel{DottedNotation}{{3.3.26}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.27}FieldUpdate}{21}}
\newlabel{FieldUpdate}{{3.3.27}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.28}Homomorphism}{21}}
\newlabel{Homomorphism}{{3.3.28}{21}}
\newlabel{homrec}{{3.28}{21}}
\newlabel{comprehensionsyntax}{{3.29}{23}}
\newlabel{comprehension-desugaring}{{3.30}{23}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.29}Comprehension}{24}}
\newlabel{Comprehension}{{3.3.29}{24}}
\newlabel{moncompdef}{{3.3.1}{24}}
\@writefile{toc}{\contentsline {subsubsection}{Comprehension}{25}}
\newlabel{Comprehension-class}{{3.3.29}{25}}
\@setckpt{kernel}{
\setcounter{page}{49}
\setcounter{equation}{30}
\setcounter{enumi}{3}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{8}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{3}
\setcounter{subsection}{29}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{theorem}{0}
\setcounter{definition}{1}
\setcounter{corollary}{0}
\setcounter{example}{0}
\setcounter{exercise}{0}
\setcounter{algolistcounter}{0}
\setcounter{bnflistcounter}{0}
\setcounter{bnfrulecounter}{0}
\setcounter{globenumcounter}{0}
\setcounter{tfcounter}{0}
\setcounter{qcounter}{0}
\setcounter{sqcounter}{0}
}