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