%PDF-1.4 % 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (Point of Departure: xtc) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (Overview of the Typical System) endobj 17 0 obj << /S /GoTo /D (section.4) >> endobj 20 0 obj (Example: Simply Typed Lambda Calculus) endobj 21 0 obj << /S /GoTo /D (section.5) >> endobj 24 0 obj (The Typical Language) endobj 25 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 28 0 obj (Core Language) endobj 29 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 32 0 obj (Abstract Syntax Tree Nodes) endobj 33 0 obj << /S /GoTo /D (subsection.5.3) >> endobj 36 0 obj (Source Language Types) endobj 37 0 obj << /S /GoTo /D (subsection.5.4) >> endobj 40 0 obj (Name Management) endobj 41 0 obj << /S /GoTo /D (subsection.5.5) >> endobj 44 0 obj (Error Management) endobj 45 0 obj << /S /GoTo /D (subsection.5.6) >> endobj 48 0 obj (List Reductions) endobj 49 0 obj << /S /GoTo /D (subsection.5.7) >> endobj 52 0 obj (Summary) endobj 53 0 obj << /S /GoTo /D (section.6) >> endobj 56 0 obj (Module System and Extensibility) endobj 57 0 obj << /S /GoTo /D (section.7) >> endobj 60 0 obj (Implementation) endobj 61 0 obj << /S /GoTo /D (section.8) >> endobj 64 0 obj (Evaluation) endobj 65 0 obj << /S /GoTo /D (section.9) >> endobj 68 0 obj (Related Work) endobj 69 0 obj << /S /GoTo /D (section.10) >> endobj 72 0 obj (Conclusions) endobj 73 0 obj << /S /GoTo /D [74 0 R /Fit ] >> endobj 90 0 obj << /Length 5132 /Filter /FlateDecode >> stream xڭ;ْFr~[2Ģ\ҋg[#1jánb ;AVKc{u"++owwݷ_/Vw*Jӝ63uqCua[˹>V80:9I%i+/{
*]yieӿ}_O6o#c߹i<*Ҕ(`UdUrW6*;["}Νl_SiG:|U
lkuz|šFGFá"Ed^>JD5r
`WvȓHgO}~e0D%rN,ż1_^gII 40a?4@\(lccӹq'Xw-cLa6+-Qo|9>`'P1J^=]_W'G{.^u\Ϝ='GЙ-.( ]dJ9͋Ǟp5xl:P)~(9` 4pnVH+{Z'w1j P⏢w-
c}=α,Vp!qn{O%_x{'IB
m9f>$>v2XJ:!9T5(wIIv^JWiTݩpvq۔|v 35QVl<\}/GXgس<~+ffB ܤO;=[[o.uS
[W
S囧K{ǏI!x|"`wr^@~|!4QㇸDixe_a:
%~Nzz<2t.-7N\w,vt_VU`;4e"qV!8>+s
tZFmv~Qp8/?\H@GБ44$n˓Զ Am"4q|:ЍHX@4>\*"9$kA"b*%I:1K
닉?:-O
BY`#ek
>Aݥ>xmA\g`|@,;n(N O8VYu*Q_ŰYdb!pծݑcoׇ;"+Vm(ߦA)`a#/H]d*7kf,bBm~<0cvCH#X%vב,YF工Z``9