---

%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 (Introduction to Gradual Typing) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (Comparison with Quasi-Static Typing) endobj 17 0 obj << /S /GoTo /D (section.4) >> endobj 20 0 obj (Gradual Typing and References) endobj 21 0 obj << /S /GoTo /D (section.5) >> endobj 24 0 obj (Run-time semantics) endobj 25 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 28 0 obj (Translation to "426830A "526930B .) endobj 29 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 32 0 obj (Run-time semantics of "426830A "526930B .) endobj 33 0 obj << /S /GoTo /D (subsection.5.3) >> endobj 36 0 obj (Examples) endobj 37 0 obj << /S /GoTo /D (subsection.5.4) >> endobj 40 0 obj (Type Safety) endobj 41 0 obj << /S /GoTo /D (section.6) >> endobj 44 0 obj (Relation to Dynamic of Abadi et al.) endobj 45 0 obj << /S /GoTo /D (section.7) >> endobj 48 0 obj (Related Work) endobj 49 0 obj << /S /GoTo /D (section.8) >> endobj 52 0 obj (Conclusion) endobj 53 0 obj << /S /GoTo /D [54 0 R /Fit ] >> endobj 56 0 obj << /Length 6026 /Filter /FlateDecode >> stream xڕ<�r�6��� m�K)B�8xxv��c�x� �[��`�UEI�f�5$�r���

---