\relax 
\citation{MaSc93b}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction and Motivation}{1}}
\newlabel{Abs. Einfuehrung}{{1}{1}}
\citation{S*92}
\citation{Matt93}
\citation{MaSc93b}
\citation{MaSc92a}
\citation{Card89,Card90}
\citation{Matt91a,Mue91,NMM92}
\citation{MODISO}
\citation{Wirt87a}
\citation{RLW85}
\citation{Nels91}
\citation{I*83}
\citation{Card89,Card90,Maun91,FiHa88,Hudak89}
\citation{CMMS91}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Language Classification}{2}}
\newlabel{Abs. Einfluesse anderer Programmiersprachen}{{2}{2}}
\citation{KeRi77}
\citation{B*88}
\citation{GoRo83}
\citation{ACC81a}
\citation{DCBM89}
\citation{Card86}
\citation{AtBu86,ScMa90a}
\citation{MaSc91b,MaSc91}
\citation{MaSc91}
\citation{Mink88}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Lexical and Syntactical Rules}{3}}
\newlabel{Abs. Lexikalische und syntaktische Regeln}{{3}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Symbols}{3}}
\newlabel{Abs. Symbole}{{3.1}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}Reserved Keywords}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}Comments}{4}}
\newlabel{Abs. Kommentare}{{3.3}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.4}Factoring of Expressions}{4}}
\newlabel{Abs. Zerlegung von Ausdruecken}{{3.4}{4}}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5}Coercion and Overloading}{5}}
\newlabel{Abs. Typanpassung und Ueberladen}{{3.5}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Predefined Values and Functions}{5}}
\newlabel{Abs. Vordefinierte Werte und Funktionen}{{4}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}Naming, Binding, and Typing}{5}}
\newlabel{Abs. Benennung, Bindung und Typisierung}{{4.1}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}Literals}{5}}
\newlabel{Abs. Notation von Literalen}{{4.2}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}User-defined Values and Functions}{6}}
\newlabel{Abs. Benutzerdefinierte Werte und Funktionen}{{5}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.1}Static Bindings}{6}}
\newlabel{Abs. Statische Bindungen}{{5.1}{6}}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.2}Dynamic Bindings}{7}}
\newlabel{Abs. Dynamische Bindungen}{{5.2}{7}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {5.2.1}Simple Functions}{7}}
\newlabel{Abs. Einfache Funktionen}{{5.2.1}{7}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {5.2.2}Recursive Functions}{9}}
\newlabel{Abs. Rekursive Funktionen}{{5.2.2}{9}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {5.2.3}Function Types}{9}}
\newlabel{Abs. Funktionstypen}{{5.2.3}{9}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {5.2.4}Higher-Order Functions}{10}}
\newlabel{Abs. Funktionen hoeherer Ordnung}{{5.2.4}{10}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Predefined Value and Type Constructors}{10}}
\newlabel{Abs. Vordefinierte Wert- und Typkonstruktoren}{{6}{10}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.1}Tuple Types}{10}}
\newlabel{Abs. Tupeltypen}{{6.1}{10}}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.2}Variant Types}{11}}
\newlabel{Abs. Variantentypen}{{6.2}{11}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.3}Record Types}{13}}
\newlabel{Abs. Recordtypen}{{6.3}{13}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4}Recursive Data Types}{14}}
\newlabel{Abs. Rekursive Datentypen}{{6.4}{14}}
\citation{Matt93}
\citation{Nels91}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.5}Dynamic Data Types}{15}}
\newlabel{Abs. Dynamische Datentypen}{{6.5}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Subtype Relationships and Subtype Polymorphism}{15}}
\newlabel{Abs. Subtypbeziehungen und Subtyppolymorphismus}{{7}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1}Subtyping on Predefined Types}{15}}
\newlabel{Abs. Subtypbeziehungen vordefinierter Typen}{{7.1}{15}}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2}Subtyping on Tuple Types}{16}}
\newlabel{Abs. Subtypbeziehungen zwischen Tupeltypen}{{7.2}{16}}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.3}Subtyping on Record Types}{18}}
\newlabel{Abs. Subtypbeziehungen zwischen Recordtypen}{{7.3}{18}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.4}Subtyping on Function Types}{18}}
\newlabel{Abs. Subtypbeziehungen zwischen Funktionstypen}{{7.4}{18}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {8}Parametric Polymorphism}{19}}
\newlabel{Abs. Parametrischer Polymorphismus}{{8}{19}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.1}Polymorphic Functions}{19}}
\newlabel{Abs. Polymorphe Funktionen}{{8.1}{19}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.2}Bounded Parametric Polymorphism}{20}}
\newlabel{Abs. Eingeschraenkter parametrischer Polymorphismus}{{8.2}{20}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.3}Type Operators}{21}}
\newlabel{Abs. Typoperatoren}{{8.3}{21}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {8.3.1}Simple Type Operators}{21}}
\newlabel{Abs. Einfache Typoperatoren}{{8.3.1}{21}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {8.3.2}Recursive Type Operators}{22}}
\newlabel{Abs. Rekursive Typoperatoren}{{8.3.2}{22}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.4}Abstract Data Types}{23}}
\newlabel{Abs. Abstrakte Datentypen}{{8.4}{23}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9}Imperative Programming}{24}}
\newlabel{Abs. Imperative Programmierung}{{9}{24}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {9.1}Mutable Variables}{24}}
\newlabel{Abs. Modifizierbare Variablen}{{9.1}{24}}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {9.2}Subtyping Rules for Mutable Bindings}{26}}
\newlabel{Abs. Subtypisierungsregeln fuer modifizierbare Bindungen}{{9.2}{26}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {9.3}Control Structures}{26}}
\newlabel{Abs. Kontrollstrukturen}{{9.3}{26}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {9.3.1}Sequences}{27}}
\newlabel{Abs. Sequenz}{{9.3.1}{27}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {9.3.2}Conditional Expressions}{27}}
\newlabel{Abs. Bedingte Ausfuehrung}{{9.3.2}{27}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {9.3.3}Loops}{28}}
\newlabel{Abs. Schleife}{{9.3.3}{28}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {9.3.4}Exception Handling}{29}}
\newlabel{Abs. Ausnahmebehandlung}{{9.3.4}{29}}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {9.4}Arrays and Array Indexing}{31}}
\newlabel{Abs. Felder und Feldindizierung}{{9.4}{31}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {10}Multi-Paradigm Programming in Tycoon}{31}}
\newlabel{Abs. Progammierstile}{{10}{31}}
\@writefile{toc}{\string\contentsline\space {paragraph}{Functional Encapsulation}{32}}
\@writefile{toc}{\string\contentsline\space {paragraph}{Imperative Encapsulation}{33}}
\@writefile{toc}{\string\contentsline\space {paragraph}{Method-Based Encapsulation}{33}}
\citation{Matt93}
\citation{Matt93}
\citation{Matt93}
\citation{Matt93}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {11}Programming in the Large}{34}}
\newlabel{Abs. Programmierung im Grossen}{{11}{34}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {11.1}Modules and Interfaces}{34}}
\newlabel{Abs. Module und Schnittstellen}{{11.1}{34}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {11.2}Libraries}{36}}
\newlabel{Abs. Bibliotheken}{{11.2}{36}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {12}Persistence and Garbage Collection}{37}}
\newlabel{Abs. Persistenz und Freispeicherverwaltung}{{12}{37}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {13}External C Libraries}{38}}
\newlabel{Sec. External C Libraries}{{13}{38}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {13.1}Function Calls from Tycoon to External C Libraries}{38}}
\newlabel{Sec. Function Calls from Tycoon to External C Libraries}{{13.1}{38}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {13.2}Function Calls from External C Libraries to Tycoon}{40}}
\newlabel{Sec. Function Calls from External C Libraries to Tycoon}{{13.2}{40}}
\citation{RLW85}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {14}Layout and Naming Conventions}{41}}
\newlabel{Sec. Layout and Naming Conventions}{{14}{41}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {14.1}Spelling}{42}}
\newlabel{Sec. Spelling}{{14.1}{42}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {14.2}Punctuation}{42}}
\newlabel{Sec. Punctuation}{{14.2}{42}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {14.3}Indentation}{43}}
\newlabel{Sec. Indentation}{{14.3}{43}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {14.4}Comments}{44}}
\newlabel{Sec. Comments}{{14.4}{44}}
\@input{tiAppendix.aux}
\bibstyle{florian}
\bibdata{dbis-macros,florian}
\bibcite{AtBu86}{AB87}
\bibcite{ACC81a}{ACC81}
\bibcite{B*88}{BDMG{$^{+}$}88}
\bibcite{Card86}{Car86}
\bibcite{Card89}{Car89}
\bibcite{Card90}{Car90}
\bibcite{CMMS91}{CMMS91}
\bibcite{DCBM89}{DCBM89}
\bibcite{FiHa88}{FH88}
\bibcite{GoRo83}{GR83}
\bibcite{Hudak89}{Hud89}
\bibcite{I*83}{I{$^{+}$}83}
\bibcite{KeRi77}{KR77}
\bibcite{Matt91a}{Mat91}
\bibcite{Matt93}{Mat93}
\bibcite{Maun91}{Mau91}
\@writefile{toc}{\string\contentsline\space {section}{Bibliography}{52}}
\bibcite{Mink88}{Min88}
\bibcite{MODISO}{MOD91}
\bibcite{MaSc91b}{MS91a}
\bibcite{MaSc91}{MS91b}
\bibcite{MaSc92a}{MS92}
\bibcite{MaSc93b}{MS93}
\bibcite{Mue91}{M{{\accent "7F u}}l91}
\bibcite{Nels91}{Nel91}
\bibcite{NMM92}{NMM92}
\bibcite{RLW85}{RLW85}
\bibcite{ScMa90a}{SM90}
\bibcite{S*92}{SSS{$^{+}$}92}
\bibcite{Wirt87a}{Wir87}
\@writefile{toc}{\string\contentsline\space {section}{Index}{54}}