%PDF-1.4 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (subsection.1.1) >> endobj 12 0 obj (Goals) endobj 13 0 obj << /S /GoTo /D (subsection.1.2) >> endobj 16 0 obj (Status) endobj 17 0 obj << /S /GoTo /D (subsection.1.3) >> endobj 20 0 obj (Related Documents) endobj 21 0 obj << /S /GoTo /D (section.2) >> endobj 24 0 obj (Using Concepts) endobj 25 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 28 0 obj (Concepts) endobj 29 0 obj << /S /GoTo /D (subsubsection.2.1.1) >> endobj 32 0 obj (Multi-Type Concepts and Where Clauses) endobj 33 0 obj << /S /GoTo /D (subsubsection.2.1.2) >> endobj 36 0 obj (Composing Concepts) endobj 37 0 obj << /S /GoTo /D (subsubsection.2.1.3) >> endobj 40 0 obj (Associated Types) endobj 41 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 44 0 obj (Concept Maps) endobj 45 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 48 0 obj (Constrained Templates) endobj 49 0 obj << /S /GoTo /D (subsection.2.4) >> endobj 52 0 obj (Concept-based Overloading) endobj 53 0 obj << /S /GoTo /D (section.3) >> endobj 56 0 obj (Proposed Language Features) endobj 57 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 60 0 obj (New Keywords) endobj 61 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 64 0 obj (Concepts) endobj 65 0 obj << /S /GoTo /D (subsubsection.3.2.1) >> endobj 68 0 obj (Refinements) endobj 69 0 obj << /S /GoTo /D (subsubsection.3.2.2) >> endobj 72 0 obj (Signatures) endobj 73 0 obj << /S /GoTo /D (subsubsection.3.2.3) >> endobj 76 0 obj (Associated Types, Values, and Template Requirements) endobj 77 0 obj << /S /GoTo /D (subsubsection.3.2.4) >> endobj 80 0 obj (Nested Requirements) endobj 81 0 obj << /S /GoTo /D (subsubsection.3.2.5) >> endobj 84 0 obj (Axioms) endobj 85 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 88 0 obj (Concept Maps) endobj 89 0 obj << /S /GoTo /D (subsubsection.3.3.1) >> endobj 92 0 obj (Signature Definitions) endobj 93 0 obj << /S /GoTo /D (subsubsection.3.3.2) >> endobj 96 0 obj (Associated Type, Value, and Template Definitions) endobj 97 0 obj << /S /GoTo /D (subsubsection.3.3.3) >> endobj 100 0 obj (Implicit Member Definitions) endobj 101 0 obj << /S /GoTo /D (subsubsection.3.3.4) >> endobj 104 0 obj (Refinements and Concept Maps) endobj 105 0 obj << /S /GoTo /D (subsubsection.3.3.5) >> endobj 108 0 obj (Concept Map Lookup) endobj 109 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 112 0 obj (Constrained Templates) endobj 113 0 obj << /S /GoTo /D (subsubsection.3.4.1) >> endobj 116 0 obj (Where Clauses) endobj 117 0 obj << /S /GoTo /D (subsubsection.3.4.2) >> endobj 120 0 obj (Inline Requirements) endobj 121 0 obj << /S /GoTo /D (subsubsection.3.4.3) >> endobj 124 0 obj (Type-Checking Constrained Templates) endobj 125 0 obj << /S /GoTo /D (subsubsection.3.4.4) >> endobj 128 0 obj (Instantiating Constrained Templates) endobj 129 0 obj << /S /GoTo /D (subsubsection.3.4.5) >> endobj 132 0 obj (Constraint Propagation) endobj 133 0 obj << /S /GoTo /D (subsubsection.3.4.6) >> endobj 136 0 obj (Partial Ordering by Where Clauses) endobj 137 0 obj << /S /GoTo /D (subsubsection.3.4.7) >> endobj 140 0 obj (Late Checking) endobj 141 0 obj << /S /GoTo /D (subsection.3.5) >> endobj 144 0 obj (Header "426830A concepts"526930B ) endobj 145 0 obj << /S /GoTo /D (lstlisting.-396) >> endobj 148 0 obj (Concept [basicstyle=]SameType) endobj 149 0 obj << /S /GoTo /D (lstlisting.-407) >> endobj 152 0 obj (Concept [basicstyle=]True) endobj 153 0 obj << /S /GoTo /D (lstlisting.-413) >> endobj 156 0 obj (Concept [basicstyle=]CopyConstructible) endobj 157 0 obj << /S /GoTo /D (subsection.3.6) >> endobj 160 0 obj (Miscellaneous) endobj 161 0 obj << /S /GoTo /D (subsubsection.3.6.1) >> endobj 164 0 obj (Implicit Declaration of Class Members) endobj 165 0 obj << /S /GoTo /D (subsubsection.3.6.2) >> endobj 168 0 obj (Default Arguments) endobj 169 0 obj << /S /GoTo /D (section.4) >> endobj 172 0 obj (Acknowledgments) endobj 173 0 obj << /S /GoTo /D [174 0 R /Fit ] >> endobj 176 0 obj << /Length 1841 /Filter /FlateDecode >> stream xÚíš[sÓFÇßù~êÈS´Ý›vW¶È@!0Á”δ}‰pMmËÈV!ß¾çœ]]äMËô¡M2™±ëì9»ÿßÙ«,&þÄÄʉ՚åÜNÎVwødßßá©6®#Ri-sBNR—1áÄÐæs[#ÁÆMR“åÌJƒÆfw¾y,ÜDrfŒšÌÞM¤qŒk1ifç¿$GÕT$ë³ršŠd³ÛN›=…RùDh¦´ÁR©P,ƒ(*c:Tì!kæËb;M•4Éq]ΫKƒ™d4:–åJ‘ù‹ÍÚ“”koýêb»+WTÔ&Ï põ–žW5Þïªú‚Øj±žS¸õ]ïïÉÉT‰¶ðµæð‘ùz0ÎUð!ÉÇùÃQ\tQÕ÷àóŒÂ³ Jµdåy™²nb³Êøà=csëué…xµÃÿªf»CçÍÆ·@–»½<,7ZìV '”ÛùÚWïüõ#žÕ¦Ù•uPülAµEÒèV fÔ¾´³©ƒ&}*¼ŽX¡û_Áýs﵄õv_`É\'Ž )µ\–s¯oQ]t:Ï~ö:[ÔÙiøP¾RãÊî ýv{ïlËvÅ C6­ >C˳Œ2T:Á4‡ÕØUò6C‘òY³¯Ý7äs’§þvšj•%'*Â5~~ìMÊ\„¤ºq¨–fZû^óZTRI“