%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-sBNR1áÄÐæs[#ÁÆMRåÌJÆfw¾y,ÜDrfÌÞM¤qk1ifç¿$GÕT$ë³rd³ÛN=
RùDh¦´ÁR©P,(*c:Tì!kæËb;M4Éq]ΫKd4:å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§þvj%'*Â5~~ìMÊ\¤ºq¨fZû^óZTRI