\relax 
\citation{leftcorner}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}A Leaner Specification for GADTs}{V--65}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {paragraph}{Abstract:}{V--65}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}introduction}{V--65}}
\newlabel{sect.introduction}{{5.1}{V--65}}
\citation{sulzmann06}
\citation{jones06}
\citation{jones06}
\citation{pottier06}
\citation{sulzmann07}
\citation{pottier06}
\citation{jones06}
\citation{jones04}
\citation{vytiniotis06}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Related Work}{V--66}}
\newlabel{sect.relatedwork}{{5.2}{V--66}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}Type information propagation strategies}{V--66}}
\newlabel{sect.relatedwork.prop}{{5.2.1}{V--66}}
\citation{dijkstra05phd}
\citation{jones06}
\citation{jones04}
\citation{sulzmann07}
\citation{wazny06}
\citation{sulzmann06}
\citation{stuckey05}
\citation{leftcorner}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Type conversion strategies}{V--67}}
\citation{baars02}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Motivation and Examples}{V--68}}
\newlabel{sect.motivation}{{5.3}{V--68}}
\citation{sulzmann07}
\citation{stuckey05}
\citation{sulzmann07}
\citation{sulzmann07}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}type system}{V--70}}
\newlabel{sect.typesystem}{{5.4}{V--70}}
\@writefile{toc}{\contentsline {paragraph}{Source language}{V--70}}
\@writefile{toc}{\contentsline {paragraph}{Notation}{V--70}}
\@writefile{toc}{\contentsline {paragraph}{Type System}{V--70}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.1}{\ignorespaces Syntax of System $F_A'\tmspace  +\thinmuskip {.1667em}$}}{V--71}}
\newlabel{fig.systemfa}{{5.1}{V--71}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.2}{\ignorespaces Data definition type rules (G)}}{V--72}}
\newlabel{rules.G.decl.base}{{5.2}{V--72}}
\@writefile{toc}{\contentsline {paragraph}{Type Conversions}{V--72}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.3}{\ignorespaces Expression type rules (G)}}{V--73}}
\newlabel{rules.G.expr.base}{{5.3}{V--73}}
\citation{leftcorner}
\citation{jones06}
\@writefile{lof}{\contentsline {figure}{\numberline {5.4}{\ignorespaces Pattern type rules (G)}}{V--74}}
\newlabel{rules.G.pat.base}{{5.4}{V--74}}
\@writefile{toc}{\contentsline {paragraph}{Entailment}{V--74}}
\@writefile{toc}{\contentsline {paragraph}{Discussion}{V--74}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.5}{\ignorespaces Entailment rules (G)}}{V--75}}
\newlabel{rules.G.entails.base}{{5.5}{V--75}}
\citation{sulzmann07}
\citation{sulzmann07}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Translation}{V--76}}
\newlabel{sect.translation}{{5.5}{V--76}}
\@writefile{toc}{\contentsline {paragraph}{Target Language}{V--76}}
\@writefile{toc}{\contentsline {paragraph}{Coercion construction}{V--76}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.6}{\ignorespaces Syntax of the target language}}{V--77}}
\newlabel{fig.systemfc}{{5.6}{V--77}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.7}{\ignorespaces Expression type rules (T)}}{V--77}}
\newlabel{rules.T.expr.trans}{{5.7}{V--77}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.8}{\ignorespaces Entailment rules (T)}}{V--78}}
\newlabel{rules.T.entails.base}{{5.8}{V--78}}
\citation{dijkstra04}
\citation{chr98}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Conclusion}{V--79}}
\newlabel{sect.conclusion}{{5.6}{V--79}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6.1}Future work}{V--79}}
\bibstyle{abbrv}
\bibdata{gadt-paper}
\bibcite{baars02}{1}
\bibcite{leftcorner}{2}
\bibcite{dijkstra04}{3}
\bibcite{dijkstra05phd}{4}
\bibcite{chr98}{5}
\bibcite{jones06}{6}
\bibcite{jones04}{7}
\bibcite{pottier06}{8}
\bibcite{stuckey05}{9}
\bibcite{sulzmann07}{10}
\bibcite{sulzmann06}{11}
\bibcite{vytiniotis06}{12}
\bibcite{wazny06}{13}
\@writefile{toc}{\contentsline {paragraph}{Acknowledgements}{V--80}}
\@writefile{toc}{\contentsline {section}{References}{V--80}}