%PDF-1.3
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Metadata 3 0 R
/PageLabels 4 0 R
/FICL#3AEnfocus 5 0 R
>>
endobj
6 0 obj
<<
/ModDate (D:20220413175619+00'00')
/Title (Implementing a normalizer using sized heterogeneous types)
/Producer (Acrobat Distiller 7.0.5 for Macintosh \(via http://big.faceless.org/products/pdf?version=2.8.4\))
/Creator (dvips\(k\) 5.95a Copyright 2005 Radical Eye Software)
/CreationDate (D:20090525152639+05'30')
/Author (ANDREAS ABEL)
/Subject (Journal of Functional Programming)
>>
endobj
2 0 obj
<<
/Count 24
/Type /Pages
/Kids [7 0 R 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]
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 934
>>
stream
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796809007266
https://doi.org/10.1017/S0956796809007266 Published online by Cambridge University Press
2022-04-13T17:56:19+00:00
endstream
endobj
4 0 obj
<<
/Nums [0 31 0 R]
>>
endobj
5 0 obj
<<
/PitStop 32 0 R
>>
endobj
7 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 33 0 R
/Contents [34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R]
/Type /Page
/Parent 2 0 R
/Annots [44 0 R]
>>
endobj
8 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 45 0 R
/Contents [46 0 R 47 0 R 48 0 R]
/Type /Page
/Parent 2 0 R
/Annots [49 0 R]
>>
endobj
9 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 50 0 R
/Contents [51 0 R 52 0 R 53 0 R]
/Type /Page
/Parent 2 0 R
/Annots [54 0 R]
>>
endobj
10 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 55 0 R
/Contents [56 0 R 57 0 R 58 0 R]
/Type /Page
/Parent 2 0 R
/Annots [59 0 R]
>>
endobj
11 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 60 0 R
/Contents [61 0 R 62 0 R 63 0 R]
/Type /Page
/Parent 2 0 R
/Annots [64 0 R]
>>
endobj
12 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 65 0 R
/Contents [66 0 R 67 0 R 68 0 R]
/Type /Page
/Parent 2 0 R
/Annots [69 0 R]
>>
endobj
13 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 70 0 R
/Contents [71 0 R 72 0 R 73 0 R]
/Type /Page
/Parent 2 0 R
/Annots [74 0 R]
>>
endobj
14 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 75 0 R
/Contents [76 0 R 77 0 R 78 0 R]
/Type /Page
/Parent 2 0 R
/Annots [79 0 R]
>>
endobj
15 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 80 0 R
/Contents [81 0 R 82 0 R 83 0 R]
/Type /Page
/Parent 2 0 R
/Annots [84 0 R]
>>
endobj
16 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 85 0 R
/Contents [86 0 R 87 0 R 88 0 R]
/Type /Page
/Parent 2 0 R
/Annots [89 0 R]
>>
endobj
17 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 90 0 R
/Contents [91 0 R 92 0 R 93 0 R]
/Type /Page
/Parent 2 0 R
/Annots [94 0 R]
>>
endobj
18 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 95 0 R
/Contents [96 0 R 97 0 R 98 0 R]
/Type /Page
/Parent 2 0 R
/Annots [99 0 R]
>>
endobj
19 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 100 0 R
/Contents [101 0 R 102 0 R 103 0 R]
/Type /Page
/Parent 2 0 R
/Annots [104 0 R]
>>
endobj
20 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 105 0 R
/Contents [106 0 R 107 0 R 108 0 R]
/Type /Page
/Parent 2 0 R
/Annots [109 0 R]
>>
endobj
21 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 110 0 R
/Contents [111 0 R 112 0 R 113 0 R]
/Type /Page
/Parent 2 0 R
/Annots [114 0 R]
>>
endobj
22 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 115 0 R
/Contents [116 0 R 117 0 R 118 0 R]
/Type /Page
/Parent 2 0 R
/Annots [119 0 R]
>>
endobj
23 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 120 0 R
/Contents [121 0 R 122 0 R 123 0 R]
/Type /Page
/Parent 2 0 R
/Annots [124 0 R]
>>
endobj
24 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 125 0 R
/Contents [126 0 R 127 0 R 128 0 R]
/Type /Page
/Parent 2 0 R
/Annots [129 0 R]
>>
endobj
25 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 130 0 R
/Contents [131 0 R 132 0 R 133 0 R]
/Type /Page
/Parent 2 0 R
/Annots [134 0 R]
>>
endobj
26 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 135 0 R
/Contents [136 0 R 137 0 R 138 0 R]
/Type /Page
/Parent 2 0 R
/Annots [139 0 R]
>>
endobj
27 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 140 0 R
/Contents [141 0 R 142 0 R 143 0 R]
/Type /Page
/Parent 2 0 R
/Annots [144 0 R]
>>
endobj
28 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 145 0 R
/Contents [146 0 R 147 0 R 148 0 R]
/Type /Page
/Parent 2 0 R
/Annots [149 0 R]
>>
endobj
29 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 150 0 R
/Contents [151 0 R 152 0 R 153 0 R]
/Type /Page
/Parent 2 0 R
/Annots [154 0 R]
>>
endobj
30 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 155 0 R
/Contents [156 0 R 157 0 R 158 0 R]
/Type /Page
/Parent 2 0 R
/Annots [159 0 R]
>>
endobj
31 0 obj
<<
/S /D
/St 287
>>
endobj
32 0 obj
<<
>>
endobj
33 0 obj
<<
/Font <<
/F1 160 0 R
/F2 161 0 R
/F3 162 0 R
/F4 163 0 R
/F5 164 0 R
/F6 165 0 R
/F7 166 0 R
/F8 167 0 R
/F9 168 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS1 169 0 R
>>
>>
endobj
34 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
35 0 obj
<<
/Filter /FlateDecode
/Length 689
>>
stream
HTMS0i>uZh-nPӘbRgv%لK;9d-߾v[P,n5:jbˑLS#u /3ι,K|&VFd7Q!b2dN&9muN.%^1M@E9n"-=_ S`
@S\Y:jYh
8MRSQ*yKozf{jy1r0kuaL:+ZdGZT$IYw}XQ>j):iR}Vay[慽dۀ֔{m7{έ0 :CU=U ,Wّ:{y'ւǷ4|$yMB%2@LY` C
+f ;467uShab6h@ץ~6kf7C}>lTpj0Fmu"P'C:z\m\ԣ%u( r"_`uyΔ=١Q ;LQٻ!N3F1e^g^\c״B@g#GWUvГ7ԁ{8(ٿ?`tЁ,'OZF*v+~=