%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!áÜ&™U„YÖ·¹fË©%„2­rb¸FãGÓ£ž0›pJ´Éô]™$š«¤1šÎ~O« K×å$céf¿›d‚òô Uô¯”p{‡E,TkŸAlØäéÏ ‘'à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%ü¾RŠPaÁ}»{p±#ûb…’m<}V2’+å²’[F$,;SÞ¤%¢½¨‡QråÚ¹ÃDƒŒÙþ8ɤPé)‡ŠP‹ÙëŒbÙ÷èˆt)}¿:ƒ®³+C˜f¨¤ÓŒ¯W³^ͤ®Œj&¤u›ŸNTQ¿¥ Êøˆè‰cž7û&ïÍñídØ„{¾NÃ5iÄëË-T_Éô}é°ïê†w §±¶ÅÊõçÙuÒõ¼Æy@|ì©pÙ£Â,%†&êd¾Ÿÿ®ÃÃŒ(Þ*$Èc¬‰ëÏÕ²†ÄAAç5&)~ßþÕVè)ô™M¨€N y ·¹´`9';È{Ééœ ßRß'&‚§08¶ÚºA¤¸&Ü*÷(›d9…¡ÁÛo}7ƒ3Õûn ͹LùXC aù öŒ€OF)MŸVÅÒ‰çyJ \¹ûè> ˜G§í„¨„$LšDXA£ókc“õŒüœÙgrÕB×ä$KÁý¸ŒÍz¡-±Úô< Ãc øâwÀ¿‚{ˆcœ{gáÞ#"G¹Ç¤÷˜LÃ]A—ç,pûY¹ôú̏¡'צãÆ(Èy³‡…C˜CØâ˜;£æ 5Š9&å0_‘L°ÂÜîóˆûiâ¢ós”‘íBÜ-Ây.÷ùòÁÛ9â¸j`ºÜ ‘Ìa‚XXŒÄ3§3ŠdN0Bz4sbR.sb2÷V$0ïalœ¥Ž:ã×ß0,q$XdXžâÀp _7~ÁVýƒäpK´0®¼þ³Ü6FË¢öËVcÿ˜šVG1õŒcêÇÏŒaŠJ!¦¨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 ×w8„g‘K\V37ãæVÝ8†!$q†Q„a/¸Æ´Ã+:W·@œR’ç&œ¡¸=ÐK<¨kŽ£7HÏ•