(!using-chapters) (!definitely-latex) (!default-title "Typed Scheme: A Brief Introduction for PLT Scheme Programmers") (!using-chapters) (!toc-page 1) (!using-chapters) (!toc-entry 0 "1" 2 "node_chap_1" "{Starting with Typed Scheme}") (!toc-entry 1 "1.1" 2 "node_sec_1.1" "{A First Function}") (!toc-entry 1 "1.2" 2 "node_sec_1.2" "{Adding more complexity}") (!toc-entry 1 "1.3" 2 "node_sec_1.3" "{Defining New Datatypes}") (!toc-entry 1 "1.4" 2 "node_sec_1.4" "{Recursive Datatypes and Unions}") (!toc-entry 1 "1.5" 2 "node_sec_1.5" "{Giving Names to Types}") (!using-chapters) (!toc-entry 0 "2" 3 "node_chap_2" "{Polymorphism}") (!using-chapters) (!toc-entry 0 "3" 4 "node_chap_3" "{More Built-In Types}") (!using-chapters) (!toc-entry 0 "4" 5 "node_chap_4" "{Special Form Reference}") (!toc-entry 1 "4.1" 5 "node_sec_4.1" "{Binding Forms}") (!toc-entry 1 "4.2" 5 "node_sec_4.2" "{Structure Defintions}") (!toc-entry 1 "4.3" 5 "node_sec_4.3" "{Type Aliases}") (!toc-entry 1 "4.4" 5 "node_sec_4.4" "{Type Annotation}") (!toc-entry 1 "4.5" 5 "node_sec_4.5" "{Require}") (!using-chapters) (!toc-entry 0 "5" 6 "node_chap_5" "{The \\textrm{Typed Scheme} Language Level}") (!last-page-number 6) (!last-modification-time 1166632121)