%PDF-1.3
%
1 0 obj
<<
/PageMode /UseOutlines
/Names 2 0 R
/Outlines 3 0 R
/Metadata 4 0 R
/Pages 5 0 R
/OpenAction [6 0 R /FitH 800]
/Type /Catalog
/Lang ()
/PageLabels 7 0 R
>>
endobj
8 0 obj
<<
/CreationDate (D:20200330081127+05'30')
/Subject ()
/Author ()
/Creator (LaTeX with hyperref package)
/Keywords ()
/Producer (Acrobat Distiller 7.0 \(Windows\))
/ModDate (D:20220413180228+00'00')
/Title ()
>>
endobj
2 0 obj
<<
/Dests 9 0 R
/EmbeddedFiles 10 0 R
>>
endobj
3 0 obj
<<
/First 11 0 R
/Count 58
/Last 11 0 R
>>
endobj
4 0 obj
<<
/Subtype /XML
/Length 1825
/Type /Metadata
>>
stream
Acrobat Distiller 7.0 (Windows)
2020-03-30T08:11:27+05:01
LaTeX with hyperref package
2022-04-13T18:02:28+00:00
application/pdf
https://doi.org/10.1017/S0956796820000027 Published online by Cambridge University Press
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796820000027
uuid:eacf68ff-c55d-4f78-9e2a-7f29973b7f59
uuid:ee7c4911-fa81-499c-b933-276ff3082dc5
endstream
endobj
5 0 obj
<<
/Count 46
/Type /Pages
/Kids [12 0 R 13 0 R 14 0 R 15 0 R 16 0 R]
>>
endobj
6 0 obj
<<
/CropBox [0 0 493.151 700.075]
/Annots [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]
/Parent 12 0 R
/Contents [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]
/Rotate 0
/MediaBox [0 0 493.151 700.075]
/Resources 37 0 R
/Type /Page
>>
endobj
7 0 obj
<<
/Nums [0 38 0 R]
>>
endobj
9 0 obj
<<
/Kids [39 0 R 40 0 R 41 0 R 42 0 R 43 0 R]
>>
endobj
10 0 obj
<<
/Kids [44 0 R]
>>
endobj
11 0 obj
<<
/First 45 0 R
/Parent 3 0 R
/Dest (HLtitle.0)
/Count 57
/Last 46 0 R
/Title (Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala)
>>
endobj
12 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [6 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R]
>>
endobj
13 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R]
>>
endobj
14 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R]
>>
endobj
15 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R]
>>
endobj
16 0 obj
<<
/Parent 5 0 R
/Count 6
/Type /Pages
/Kids [86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R]
>>
endobj
17 0 obj
<<
/Rect [329.529 652.224 403.98 660.84]
/Subtype /Link
/A <<
/URI (http://creativecommons.org/licenses/by/4.0/)
/S /URI
>>
/C [0 1 1]
/H /I
/Border [0 0 0]
/Type /Annot
>>
endobj
18 0 obj
<<
/Rect [58.449 642.756 119.193 651.381]
/Subtype /Link
/A <<
/URI (http://creativecommons.org/licenses/by/4.0/)
/S /URI
>>
/C [0 1 1]
/H /I
/Border [0 0 0]
/Type /Annot
>>
endobj
19 0 obj
<<
/Rect [70.077 625.278 162.348 632.445]
/Subtype /Link
/A <<
/URI (https://doi.org/10.1017/S0956796820000027)
/S /URI
>>
/C [0 1 1]
/H /I
/Border [0 0 0]
/Type /Annot
>>
endobj
20 0 obj
<<
/Rect [291.063 520.365 302.064 531.357]
/Subtype /Link
/A <<
/URI (https://orcid.org/0000-0001-9128-0391)
/S /URI
>>
/C [0 1 1]
/H /I
/Border [0 0 0]
/Type /Annot
>>
endobj
21 0 obj
<<
/Rect [94.323 483.717 261.285 492.351]
/Subtype /Link
/A <<
/URI (mailto:jonathan.brachthaeuser@uni-tuebingen.de)
/S /URI
>>
/C [0 1 1]
/H /I
/Border [0 0 0]
/Type /Annot
>>
endobj
22 0 obj
<<
/Rect [267.879 483.717 409.461 492.351]
/Subtype /Link
/A <<
/URI (mailto:philipp.schuster@uni-tuebingen.de)
/S /URI
>>
/C [0 1 1]
/H /I
/Border [0 0 0]
/Type /Annot
>>
endobj
23 0 obj
<<
/Rect [168.627 473.754 305.979 482.388]
/Subtype /Link
/A <<
/URI (mailto:klaus.ostermann@uni-tuebingen.de)
/S /URI
>>
/C [0 1 1]
/H /I
/Border [0 0 0]
/Type /Annot
>>
endobj
24 0 obj
<<
/Rect [160.239 200.154 220.713 209.067]
/Subtype /Link
/C [1 0 0]
/H /I
/Border [0 0 0]
/Dest (bibetem.29)
/Type /Annot
>>
endobj
25 0 obj
<<
/Rect [224.301 200.154 246.201 209.058]
/Subtype /Link
/C [1 0 0]
/H /I
/Border [0 0 0]
/Dest (bibetem.29)
/Type /Annot
>>
endobj
26 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [7.7999997 14.264648 133.62 22.189453]
/Border [0 0 0]
/A 92 0 R
>>
endobj
27 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
28 0 obj
<<
/Length 666
/Filter /FlateDecode
>>
stream
HtTn0,_84U*eHL3F'/{mRf6s_ݜ|4_b)<QR
̘ȐK&ՀU%)B0L$`I#Xk"x3rK, D!d3VaN/@0\q)1NwOn]+^ȧpsoZPtjv8gh_r>93>_vZz?
dGh%QP5\y}R`%+i!1rmSHP2oq.q`h4R
9M!ˇ{gpu=iniZ8ƌMءKL2Jr-Rٱg-ߐ9Lz%~r]
f.B`RxHsaAsT0OA)@]fu0M`S|p|MHDj7adAǜԮMF
e