2 \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
3 \@writefile{toc}{\contentsline {section}{\numberline {2}The Language}{2}}
5 \@writefile{toc}{\contentsline {section}{\numberline {3}Type Inference}{3}}
6 \@writefile{toc}{\contentsline {section}{\numberline {4}FIR Conversion}{3}}
8 \newlabel{tast_ir}{{1}{4}}
10 \newlabel{partial}{{3}{4}}
11 \newlabel{cps}{{4}{4}}
12 \newlabel{closure}{{5}{4}}
13 \newlabel{explicit}{{6}{4}}
17 \@writefile{toc}{\contentsline {section}{\numberline {5}Plans}{5}}
18 \newlabel{plans}{{5}{5}}