%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 (From untyped to typed) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (Simply-typed lambda calculus) endobj 17 0 obj << /S /GoTo /D (section.4) >> endobj 20 0 obj (Simply-typed blame calculus) endobj 21 0 obj << /S /GoTo /D (section.5) >> endobj 24 0 obj (Explicit binding) endobj 25 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 28 0 obj (The problem) endobj 29 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 32 0 obj (Polymorphic lambda calculus with explicit binding) endobj 33 0 obj << /S /GoTo /D (subsection.5.3) >> endobj 36 0 obj (Relation to standard calculus) endobj 37 0 obj << /S /GoTo /D (subsection.5.4) >> endobj 40 0 obj (Type safety) endobj 41 0 obj << /S /GoTo /D (subsection.5.5) >> endobj 44 0 obj (Relation to dynamic type generation) endobj 45 0 obj << /S /GoTo /D (section.6) >> endobj 48 0 obj (Polymorphic blame calculus) endobj 49 0 obj << /S /GoTo /D (subsection.6.1) >> endobj 52 0 obj (Generalization) endobj 53 0 obj << /S /GoTo /D (subsection.6.2) >> endobj 56 0 obj (Parametricity) endobj 57 0 obj << /S /GoTo /D (subsection.6.3) >> endobj 60 0 obj (Instantiation) endobj 61 0 obj << /S /GoTo /D (subsection.6.4) >> endobj 64 0 obj (Evaluation under type abstraction) endobj 65 0 obj << /S /GoTo /D (subsection.6.5) >> endobj 68 0 obj (Type safety) endobj 69 0 obj << /S /GoTo /D (section.7) >> endobj 72 0 obj (Subtyping relations) endobj 73 0 obj << /S /GoTo /D (section.8) >> endobj 76 0 obj (The Blame Theorem) endobj 77 0 obj << /S /GoTo /D (section.9) >> endobj 80 0 obj (The Subtyping Theorem) endobj 81 0 obj << /S /GoTo /D (section.10) >> endobj 84 0 obj (Static casts) endobj 85 0 obj << /S /GoTo /D (subsection.10.1) >> endobj 88 0 obj (Polymorphic lambda calculus with static casts) endobj 89 0 obj << /S /GoTo /D (subsection.10.2) >> endobj 92 0 obj (Relation to explicit binding) endobj 93 0 obj << /S /GoTo /D (subsection.10.3) >> endobj 96 0 obj (Type safety) endobj 97 0 obj << /S /GoTo /D (subsection.10.4) >> endobj 100 0 obj (Polymorphic blame calculus with static casts) endobj 101 0 obj << /S /GoTo /D (section.11) >> endobj 104 0 obj (The Jack-of-All-Trades Principle) endobj 105 0 obj << /S /GoTo /D (section.12) >> endobj 108 0 obj (Related Work) endobj 109 0 obj << /S /GoTo /D (section.13) >> endobj 112 0 obj (Conclusion) endobj 113 0 obj << /S /GoTo /D [114 0 R /Fit ] >> endobj 162 0 obj << /Length 5300 /Filter /FlateDecode >> stream xڥ;ْ6ژXVD&{vm]
qB,R@ITNS\S;]ΰu^ }ӽs/d«>̏d`9">#=6Ŀ]GÍt&k#1#h&"mS)Jm|Lrfs7B:A>iϋ֫O6nz8V}90) t>kNQ甽$P<='g3hˬܜMrD@Օ aPYYYRki(:gRi TSӞewZ9^L@Z րHxԯb$KflDWaN0 }Ӟ^O O!][0:*2LD^y5nE8D; ޑ(p~+sY=ps՚*CbɄ \ka 4An /k /W;ZnO ! `b3fJD>isәcddn@x?IfJ G JLI o[RQr?4] =<$Z)I6B`k)n&qS@V貪jvd'+wL3U}>TQJlGסcxlH0`=AT,fV>hn67f~X$:i@K}/UF1C[~OE] \e݊J" '%r5 1@$ Ϡerj!Ǽ(h<9XCq,U`$9"qjrQߚ.osߴ݊Q|HS-uhu?xnnv_Iu#(x#<=X=NE|[\Nփ@1+:?߷ )9Α lJ=s}kjpC'8(=M^>*b\>4mzU!'Oi{6]k[ܞE˳*~eiwvZJnUI;6@)^3q*JZ`?.jO@4;;dn[{:f9VQ\ytR%Yn{}9),Hw?' 7k#\&5Lm(+=7i_#|SFh*֜.^+UtNt X~$?r4پ;S*S7c*:Z{[X mPԢo{ \L|;YzoL$u^[F6z* ]߿1Ha(u=%Un_V:OHݺ?hVIPZ4}[2}Kn GPQaJJ-fbg8F]2@lV?Z_2\Kq0j rͳc6mLq*_