%PDF-1.4
%
1 0 obj
<<
/Pages 2 0 R
/Type /Catalog
/Metadata 3 0 R
/FICL#3AEnfocus 4 0 R
>>
endobj
5 0 obj
<<
/ModDate (D:20220413180858+00'00')
/CreationDate (D:20070830010324+05'30')
/Title (Generic functional programming with types and relations)
/Creator (ABBYY FineReader)
/Author (Richard Bird, Oege De Moor, Paul Hoogendijk)
/Subject (Journal of Functional Programming)
/Producer ( \(via http://big.faceless.org/products/pdf?version=2.8.4\))
>>
endobj
2 0 obj
<<
/Count 28
/Kids [6 0 R 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 31 0 R 32 0 R 33 0 R]
/Type /Pages
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 2181
>>
stream
(via http://big.faceless.org/products/pdf?version=2.8.4)
2007-08-30T01:03:24+05:01
2008-11-03T16:09:53+00:00
2022-04-13T18:08:58+00:00
uuid:32d67e42-a9ed-4f51-9b77-b362938a0990
application/pdf
Richard Bird, Oege De Moor, Paul Hoogendijk
Generic functional programming with types and relations
Journal of Functional Programming
https://doi.org/10.1017/S0956796800001556 Published online by Cambridge University Press
2008-11-03T16:09:53Z
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796800001556
endstream
endobj
4 0 obj
<<
/PitStop 34 0 R
>>
endobj
6 0 obj
<<
/Contents [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 44 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 47 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 49 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 50 0 R
>>
/LastModified (D:20070801033026+09'30')
/Parent 2 0 R
/Annots [51 0 R]
>>
endobj
7 0 obj
<<
/Contents [52 0 R 53 0 R 54 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/T1_2 47 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 55 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 56 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [57 0 R]
>>
endobj
8 0 obj
<<
/Contents [58 0 R 59 0 R 60 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 61 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 62 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [63 0 R]
>>
endobj
9 0 obj
<<
/Contents [64 0 R 65 0 R 66 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/T1_2 47 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 67 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 68 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [69 0 R]
>>
endobj
10 0 obj
<<
/Contents [70 0 R 71 0 R 72 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 73 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 74 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [75 0 R]
>>
endobj
11 0 obj
<<
/Contents [76 0 R 77 0 R 78 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/T1_2 47 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 79 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 80 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [81 0 R]
>>
endobj
12 0 obj
<<
/Contents [82 0 R 83 0 R 84 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 85 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 86 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 87 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [88 0 R]
>>
endobj
13 0 obj
<<
/Contents [89 0 R 90 0 R 91 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 92 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 93 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [94 0 R]
>>
endobj
14 0 obj
<<
/Contents [95 0 R 96 0 R 97 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 98 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 99 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 100 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [101 0 R]
>>
endobj
15 0 obj
<<
/Contents [102 0 R 103 0 R 104 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/T1_2 105 0 R
/T1_3 47 0 R
/F5 48 0 R
>>
/XObject <<
/Im0 106 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 107 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [108 0 R]
>>
endobj
16 0 obj
<<
/Contents [109 0 R 110 0 R 111 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 47 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 112 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 113 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [114 0 R]
>>
endobj
17 0 obj
<<
/Contents [115 0 R 116 0 R 117 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 118 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 119 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [120 0 R]
>>
endobj
18 0 obj
<<
/Contents [121 0 R 122 0 R 123 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 124 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 125 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [126 0 R]
>>
endobj
19 0 obj
<<
/Contents [127 0 R 128 0 R 129 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 130 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 131 0 R
>>
/LastModified (D:20070801033100+09'30')
/Parent 2 0 R
/Annots [132 0 R]
>>
endobj
20 0 obj
<<
/Contents [133 0 R 134 0 R 135 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 136 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 137 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [138 0 R]
>>
endobj
21 0 obj
<<
/Contents [139 0 R 140 0 R 141 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/T1_2 47 0 R
/T1_3 105 0 R
/F5 48 0 R
>>
/XObject <<
/Im0 142 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 143 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [144 0 R]
>>
endobj
22 0 obj
<<
/Contents [145 0 R 146 0 R 147 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 47 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 148 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 149 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [150 0 R]
>>
endobj
23 0 obj
<<
/Contents [151 0 R 152 0 R 153 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/T1_2 105 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 154 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 155 0 R
>>
/LastModified (D:20070801032933+09'30')
/Parent 2 0 R
/Annots [156 0 R]
>>
endobj
24 0 obj
<<
/Contents [157 0 R 158 0 R 159 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 160 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 161 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [162 0 R]
>>
endobj
25 0 obj
<<
/Contents [163 0 R 164 0 R 165 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 166 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 167 0 R
>>
/LastModified (D:20070801033113+09'30')
/Parent 2 0 R
/Annots [168 0 R]
>>
endobj
26 0 obj
<<
/Contents [169 0 R 170 0 R 171 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 105 0 R
/T1_3 47 0 R
/F5 48 0 R
>>
/XObject <<
/Im0 172 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 173 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [174 0 R]
>>
endobj
27 0 obj
<<
/Contents [175 0 R 176 0 R 177 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 178 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 179 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [180 0 R]
>>
endobj
28 0 obj
<<
/Contents [181 0 R 182 0 R 183 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 105 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 184 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 185 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [186 0 R]
>>
endobj
29 0 obj
<<
/Contents [187 0 R 188 0 R 189 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/T1_2 105 0 R
/T1_3 47 0 R
/T1_4 85 0 R
/F6 48 0 R
>>
/XObject <<
/Im0 190 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 191 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [192 0 R]
>>
endobj
30 0 obj
<<
/Contents [193 0 R 194 0 R 195 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 105 0 R
/T1_3 47 0 R
/F5 48 0 R
>>
/XObject <<
/Im0 196 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 197 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [198 0 R]
>>
endobj
31 0 obj
<<
/Contents [199 0 R 200 0 R 201 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/T1_2 202 0 R
/T1_3 47 0 R
/F5 48 0 R
>>
/XObject <<
/Im0 203 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 204 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [205 0 R]
>>
endobj
32 0 obj
<<
/Contents [206 0 R 207 0 R 208 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 45 0 R
/T1_1 46 0 R
/T1_2 47 0 R
/F4 48 0 R
>>
/XObject <<
/Im0 209 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 210 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [211 0 R]
>>
endobj
33 0 obj
<<
/Contents [212 0 R 213 0 R 214 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/T1_0 46 0 R
/T1_1 45 0 R
/F3 48 0 R
>>
/XObject <<
/Im0 215 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 216 0 R
>>
/LastModified (D:20070801032934+09'30')
/Parent 2 0 R
/Annots [217 0 R]
>>
endobj
34 0 obj
<<
>>
endobj
35 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
36 0 obj
<<
/Length 1166
/Filter /FlateDecode
>>
stream
HVoF~_T6;{F4\/䨣!RrkÂT!evfo曙'.ˤfY8a1S.Sd,)d)hd7Fu5cfH2.r x(/0/$ofTcl 0,7~f@x/h5KL/ž:ێ}Sb+ ' Ղ$Ha>6
G
G?1 epxnD`p ތ`B
IbZ4Zp`\'L8T)U
=r=9G`Г;gx+ǭMqԜUJXl5r5x,G]b?leI:|eʥAAn8bDFGi*%QB8ZlEL3Z 3(c[(Tr+rP_y)bDުssKbm]zoDz1\f\M0z\8q
[s|4庴&OOϤi*{+tvu='!#F|G F2=W0osk'RW_fn-GQbO
]TܕEEuSta%B6g?ꦫ3^x' ]C|K-m_4" nM7MP(yip0%XFi.@\2Tj
1OSكֺ_VWj% *lrwFEJqiIi6?N,)ezUm2Zp8F dWU'&&NIJwR*^(ntjp&5D6Ӎj'~8k4V2bZP¥\$! p:\_(Eͻ̡R,qYщ갉|s%Vwlָ;
e]/vS۵rg̾ɷݾ)8Iq)p1xgf(ږC*l7n0 n&{aiIⵂI
ghXi|"~ikK{xVfvjR Urhx-utbNܑ +
endstream
endobj
37 0 obj
<<
/Length 885
/Filter /FlateDecode
>>
stream
HV˒8Wڰk ƦJyld2Mdse
nlw&M/Zi4L_xGi>ݮK(KЮ
%NnKMk۷iL}7e_X,м[^km+t۱?XU`39_`8DtalOn9ggX kuE:vsڬOq_ =D`/.
uN_rr;h5瀡4hƠVh4/pX5GAt+}As=n~RHLXt|>]bsQ!gObM>|pH}ZTtr&qK܉
hD̷u'GޅU&_Ƕ;?koT'ُV" PBdwk*I;fap(Hdp]U~~