\relax 
\bibstyle{acm}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Goals}{1}}
\citation{joy}
\citation{flatt02composable}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}History}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Forth Language Semantics}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Compositional language}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}A real machine}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Forth is not compositional}{4}}
\citation{flatt02composable}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Reflection and Definitions}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Types and Meta Types}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Syntax}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7}Idioms}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8}Optimizations}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Implementation}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Thoughts on Stack Languages}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}CTL $\to $ pure CSL}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Why stacks?}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Closures}{12}}
\citation{baker:lookma}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Linear memory management}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}Modules}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {5}CAT}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Base CAT}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Extensions}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}State}{16}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Purrr State Management}{17}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Goals}{18}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Remarks}{18}}