%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Outlines 3 0 R
/Pages 4 0 R
/Type /Catalog
>>
endobj
5 0 obj
<<
/Author (Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser)
/CreationDate (D:19800101000000Z)
/Creator (Conference Publishing Consulting)
/Keywords (Name Binding; Type Checker; Statix; Static Semantics; Type Systems)
/ModDate (D:20201112171051+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.21 \(TeX Live 2020/NixOS.org\) kpathsea version 6.3.2)
/Producer (ConfPub - oopsla20main-p222-p rev-914a6909e2-48215M p1580)
/Subject (OOPSLA 2020)
/Title (Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications)
>>
endobj
2 0 obj
<<
/Length 1671
/Subtype /XML
/Type /Metadata
>>
stream
2020-11-12T17:10:50+01:00
2020-11-12T17:10:50+01:00
LaTeX with acmart 2020/09/13 v1.73 Typesetting articles for the Association for Computing Machinery and hyperref 2020-05-15 v7.00e Hypertext links for LaTeX
Knowing When to Ask- Theory of computation -> Constraint and logic programming.Operational semantics.
endstream
endobj
3 0 obj
<<
/Count 26
/First 6 0 R
/Last 7 0 R
/Type /Outlines
>>
endobj
4 0 obj
<<
/Count 29
/Kids [8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R
18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R
28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R]
/Type /Pages
>>
endobj
6 0 obj
<<
/Dest [9 0 R /Fit]
/Next 37 0 R
/Parent 3 0 R
/Title (Abstract)
>>
endobj
7 0 obj
<<
/Dest [36 0 R /Fit]
/Parent 3 0 R
/Prev 38 0 R
/Title (References)
>>
endobj
8 0 obj
<<
/Contents 39 0 R
/Type /Page
/Resources <<
/Font <<
/F1 40 0 R
>>
/XObject <<
/Xf1 41 0 R
>>
>>
/Annots [42 0 R 43 0 R]
/Parent 4 0 R
/MediaBox [0 0 595 842]
>>
endobj
9 0 obj
<<
/Annots [44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R]
/Contents 50 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 51 0 R
/Font 52 0 R
/ProcSet [/PDF /ImageC /Text]
/XObject 53 0 R
>>
/Type /Page
>>
endobj
10 0 obj
<<
/Annots [54 0 R 55 0 R]
/Contents 56 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 57 0 R
/Font 58 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
11 0 obj
<<
/Annots [59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]
/Contents 67 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 68 0 R
/Font 69 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
12 0 obj
<<
/Annots [70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R]
/Contents 77 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 78 0 R
/Font 79 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
13 0 obj
<<
/Annots [80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R
90 0 R]
/Contents 91 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 92 0 R
/Font 93 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
14 0 obj
<<
/Annots [94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R]
/Contents 103 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 104 0 R
/Font 105 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
15 0 obj
<<
/Annots [106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R 114 0 R 115 0 R
116 0 R 117 0 R 118 0 R 119 0 R 120 0 R]
/Contents 121 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 122 0 R
/Font 123 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
16 0 obj
<<
/Annots [124 0 R 125 0 R 126 0 R 127 0 R]
/Contents 128 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 129 0 R
/Font 130 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
17 0 obj
<<
/Annots [131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R 138 0 R]
/Contents 139 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 140 0 R
/Font 141 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
18 0 obj
<<
/Annots [142 0 R 143 0 R 144 0 R 145 0 R 146 0 R 147 0 R 148 0 R 149 0 R 150 0 R 151 0 R
152 0 R 153 0 R 154 0 R]
/Contents 155 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 156 0 R
/Font 157 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
19 0 obj
<<
/Annots [158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R 164 0 R]
/Contents 165 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 166 0 R
/Font 167 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
20 0 obj
<<
/Annots [168 0 R 169 0 R]
/Contents 170 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 171 0 R
/Font 172 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
21 0 obj
<<
/Contents 173 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 174 0 R
/Font 175 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
22 0 obj
<<
/Annots [176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R 182 0 R]
/Contents 183 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 184 0 R
/Font 185 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
23 0 obj
<<
/Contents 186 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 187 0 R
/Font 188 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
24 0 obj
<<
/Annots [189 0 R 190 0 R 191 0 R 192 0 R 193 0 R 194 0 R 195 0 R 196 0 R]
/Contents 197 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 198 0 R
/Font 199 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
25 0 obj
<<
/Annots [200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 205 0 R]
/Contents 206 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 207 0 R
/Font 208 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
26 0 obj
<<
/Annots [209 0 R 210 0 R]
/Contents 211 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 212 0 R
/Font 213 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
27 0 obj
<<
/Annots [214 0 R 215 0 R 216 0 R 217 0 R]
/Contents 218 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 219 0 R
/Font 220 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
28 0 obj
<<
/Annots [221 0 R 222 0 R 223 0 R 224 0 R]
/Contents 225 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 226 0 R
/Font 227 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
29 0 obj
<<
/Contents 228 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 229 0 R
/Font 230 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
30 0 obj
<<
/Annots [231 0 R 232 0 R 233 0 R 234 0 R 235 0 R 236 0 R]
/Contents 237 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 238 0 R
/Font 239 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
31 0 obj
<<
/Annots [240 0 R 241 0 R 242 0 R 243 0 R 244 0 R 245 0 R 246 0 R]
/Contents 247 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 248 0 R
/Font 249 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
32 0 obj
<<
/Annots [250 0 R 251 0 R 252 0 R 253 0 R 254 0 R 255 0 R]
/Contents 256 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 257 0 R
/Font 258 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
33 0 obj
<<
/Annots [259 0 R 260 0 R 261 0 R 262 0 R 263 0 R 264 0 R 265 0 R 266 0 R 267 0 R 268 0 R
269 0 R 270 0 R 271 0 R 272 0 R 273 0 R 274 0 R 275 0 R]
/Contents 276 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 277 0 R
/Font 278 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
34 0 obj
<<
/Annots [279 0 R 280 0 R 281 0 R 282 0 R 283 0 R 284 0 R 285 0 R 286 0 R 287 0 R 288 0 R
289 0 R 290 0 R 291 0 R 292 0 R 293 0 R 294 0 R 295 0 R 296 0 R 297 0 R 298 0 R
299 0 R 300 0 R 301 0 R 302 0 R 303 0 R 304 0 R 305 0 R 306 0 R 307 0 R 308 0 R]
/Contents 309 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 310 0 R
/Font 311 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
35 0 obj
<<
/Annots [312 0 R 313 0 R 314 0 R 315 0 R 316 0 R 317 0 R 318 0 R 319 0 R 320 0 R]
/Contents 321 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 322 0 R
/Font 323 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
36 0 obj
<<
/Annots [324 0 R 325 0 R 326 0 R 327 0 R 328 0 R 329 0 R 330 0 R 331 0 R 332 0 R 333 0 R
334 0 R 335 0 R 336 0 R 337 0 R 338 0 R 339 0 R 340 0 R 341 0 R 342 0 R 343 0 R
344 0 R 345 0 R 346 0 R 347 0 R 348 0 R 349 0 R 350 0 R]
/Contents 351 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 352 0 R
/Font 353 0 R
/ProcSet [/PDF /Text]
>>
/Type /Page
>>
endobj
37 0 obj
<<
/Dest [10 0 R /Fit]
/Next 354 0 R
/Parent 3 0 R
/Prev 6 0 R
/Title (1 Introduction)
>>
endobj
38 0 obj
<<
/Dest [35 0 R /Fit]
/Next 7 0 R
/Parent 3 0 R
/Prev 355 0 R
/Title (Acknowledgments)
>>
endobj
39 0 obj
<<
/Length 1436
/Filter /FlateDecode
>>
stream
xXMoF]7qA
Z7Ac_"-)TZ8@pPo.)Z$]1H1of,{4mɼ=fcM2Ǟcn~å~n8)/ǼXZf`ͧUd6<`sz_=ҙ~F b)E.1{lE\c8Ŵ!Gb%)6o7CG\RF>5w3iHw0 ONc!ڶRCfP9wp0F 5J x\2%*\b哂[[
j&#!bMOGe4'k\/mκ:{%"|D>><} %M0GלkӌrKyK]`i&qk
_ZSڂsG7Hu5®ZSxQs&^g\|#N})^:
vI^M 9]55^\F@9;aB;mF߿e @e
SVTxw;>d"PEjYIk9
G|%J*b=BCpT舃ӎCW
buն䭶,6P\g3
.0`#wju
M]uhq+бǽړ+3~j3\YO+J,,ppAot`d)3Wl}f%=^`exg5)b -\>A/DjSqɴuC4"grBڽA;s,8IV֍]eH0*+wYSG9Mtz]RqzUMެY"+XJΓ/$dݢfUjS
9")+K͵֮edT͜Lbs"i?7[~9#l2.MY">PZ$X;>-"Hq
fC+B[P 8Ca+Z0`Q}D΄B%ݖ.b_8٩
aQ1Uoˌ߷ n* IݶZz!3Xjx*jrṃQc#kV'TG֜Y##M' Ҭ>4U%mI/,$Ѿȴ*gLBڹa4Masg)`=C8>
endobj
41 0 obj
<<
/Length 1732
/Subtype /Form
/Filter /FlateDecode
/Type /XObject
/Matrix [1 0 0 1 0 0]
/FormType 1
/Resources <<
/ColorSpace <<
/Cs1 [/ICCBased 358 0 R]
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/Gs1 359 0 R
/Gs2 360 0 R
>>
/Font <<
/TT2 361 0 R
>>
>>
/BBox [0 0 595 842]
>>
stream
xˎ^5)6om uxQd_+e6T[5|
_C.F=|KG=,u)nz5|xzsx~wiVb=?=qz8zȣINC}@>ȟfLmgR(ߊtkM9ڣu=^/l)GK I