%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 Matching) 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.-399) >> endobj 148 0 obj (Concept [basicstyle=]SameType) endobj 149 0 obj << /S /GoTo /D (lstlisting.-410) >> endobj 152 0 obj (Concept [basicstyle=]True) endobj 153 0 obj << /S /GoTo /D (lstlisting.-416) >> 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 (Revision History) endobj 173 0 obj << /S /GoTo /D (section.5) >> endobj 176 0 obj (Acknowledgments) endobj 177 0 obj << /S /GoTo /D [178 0 R /Fit ] >> endobj 180 0 obj << /Length 1832 /Filter /FlateDecode >> stream xÚí[oÛ6Çßó)ô4ÈXÅñNj@¶I[lkÓ"q×ëÔXõÜÙk[móíwIÝí=lI ¦¥£ó'Ïïð*³ÂKO$§&¹XÑdW±pWj#72!áÜ&UYÖ·¹fË©%2rb¸FãGÓ£0pJ´Éô]Â$«¤1Î~O« K×å$céf¿dòô Uô¯p{E,TkAlØäéÏ 'àXH ¡ úÈ9Ô¨çËÝs>Ýój' +ÎÉ pæ/6´\{ëóËݾ\¹GMú¬ WoÝýjå}µ½t¸ J ý´-uáݼZ/>N¸M]K·m«öxÍ{È&VèGËÊë¹[ßóþ~:@´E* \þ)çHÉîÌæ¨çÑG ßT»%YÔ¤Õ¾úL\&#|ԽǰÛué[¾ÇoU½Û£zã«-5Éí Ö'å¦@ý Ïí}«wþó#Õ¦ÞÛæ «!æº ìÓbÏéÄB3>>xX¡ßAù¹/û ·ínUN,GÇÕrYÎ}L|»ÊEÜéo>¸k%ü¾RPaÁ}»{p±#ûb m<}V2+å²[F$,;SÞ¤%¢½¨QråÚ¹ÃDÙþ8ɤPé)PÙëbÙ÷èt)}¿:®³+Cf¨¤Ó¯W³^ͤ®j&¤uNTQ¿¥ Êøèc7û&ïÍñídØ{¾NÃ5iÄëË-T_Éô}é°ïêw §±¶ÅÊõçÙuÒõ¼Æy@|ì©pÙ£Â,%&êd¾ÿ®ÃÃ(Þ*$Èc¬ëÏÕ²ÄAAç5&)~ßþÕVè)ôM¨N y ·¹´`9';È{Éé ßRß'&§08¶ÚºA¤¸&Ü*÷(d9 ¡ÁÛo}73Õûn ͹LùXC aù öOF)MVÅÒçyJ \¹ûè> G§í¨$LDXA£ókcõüÙgrÕB×ä$KÁý¸Íz¡-±Úô< Ãc øâwÀ¿{c{gáÞ#"G¹Ç¤÷LÃ]Aç,pûY¹ôúÌ¡'צãÆ(Èy³ CCØâ;£æ 59&å0_L°ÂÜîóûiâ¢ósíBÜ-Ây.÷ùòÁÛ9â¸j`ºÜ ÌaXXÄ3§3dN0Bz4sbR.sb2÷V$0ïal¥:ã×ß0,q$XdXâÀp _7~ÁVýäpK´0®¼þ³Ü6FË¢öËVcÿVG1õcêÇÏaJ!¦¨LÉÊvg0ñé¸Zùmµk¦ËÖÇXÄáuFx½¨ÚQx1)/&ÓÂ3>uðºÓ]Ø1.ÓòÕî4µ½Ùãgª8ÛÎ(¶ôq¶1)Ç6&X\iB%hùp¾ô}ñysܲÁáÏê[?Uâ%mèFãl²Ñê+Ü*²i9Ö1µdDå*°ëÝÞ.Ö]ϵ<làƲػÎ+Ùí âÛEÀö"ÎFwÇQ-6¦Óå<ÃN½-v ×w8gK\V37ãæVÝ8!$qQa/¸Æ´Ã+:W·@Rç&¡¸=ÐK<¨k£7HÏ