%PDF-1.1
%
1 0 obj
<<
/Author (Cohen)
/CreationDate (D:19970212160810)
/Creator (ACM)
/Keywords (ACM Transactions on Programming Languages and Systems)
/ModDate (D:20210621214109+03'00')
/Producer (Sony Electronic Publishing Services)
/Subject (\(0164-0925\) 13:4 0626-0629 \(Oct. 1991\))
/Title (Type-extension type test can be performed in constant time)
/rgid (PB:234829242_AS:362352160591875@1463402895140)
>>
endobj
2 0 obj
<<
/Metadata 3 0 R
/OpenAction [4 0 R /FitH -32768]
/Outlines 5 0 R
/Pages 6 0 R
/Type /Catalog
>>
endobj
3 0 obj
<<
/Length 3702
/Subtype /XML
/Type /Metadata
>>
stream
Cohen
ACM Transactions on Programming Languages and Systems
(0164-0925) 13:4 0626-0629 (Oct. 1991)
Type-extension type test can be performed in constant time
application/pdf
1997-02-12T19:08:10+03:00
ACM
2021-06-21T21:41:09+03:00
ACM Transactions on Programming Languages and Systems
Sony Electronic Publishing Services
PB:234829242_AS:362352160591875@1463402895140
uuid:fbf8eeeb-b21b-48ac-a6ad-9a74062e4b26
uuid:8ea1b57d-1313-4ffe-861a-5759509d6f04
endstream
endobj
4 0 obj
<<
/Contents [7 0 R 8 0 R]
/CropBox [85.039368 85.039368 529.960632 763.653543]
/MediaBox [0 0 615 792]
/Parent 6 0 R
/Resources <<
/Font <<
/F0 9 0 R
/F2 10 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/XObject <<
/im178 11 0 R
>>
>>
/Type /Page
>>
endobj
5 0 obj
<<
/Count 0
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 4
/Kids [4 0 R 12 0 R 13 0 R 14 0 R]
/MediaBox [0 0 617 794]
/Type /Pages
>>
endobj
7 0 obj
<<
/Filter [/LZWDecode]
/Length 42
>>
stream
D Ѱh. n9C!!pc6hn8
endstream
endobj
8 0 obj
<<
/Filter [/LZWDecode]
/Length 6945
>>
stream
D P1qaB!PȈn.CFd8
hBT9D!/#C#Y9-BF!";B)N$$L
ȥ#\9ŧB MRN!#h\|(!E")LO'TeXmFp.\I3xT'(x:M3Iw⢱xAz6(Pət
kMYEC)sޥ#Aȸj5pwgЈf;i`oStu"˽ʰs|GSҭ;!@2C09
(AHO3z# .ak1lb ?Шs؊ hta5J@$`l#'-Bh'GXla3=bB@]0(g9C|a "B8&Z!*
c80r=cx0{Dn1;B±OS}Lfri:֖ך3N6؏vOcaeQ ۧ=tNٗ4 c_븈8U!ͧY3#5@i\Cn`Tk8팎v[uDZ|C(3B'<_"~jEs5û3,;ÉMn'md!
7z"~iK><")Pꟁx&32J
YYOjB+c}9ょ,Qsn
e>9R=6v(ARX8IJ?F92F"CK~$D[Jc-96"A^nHgYa
mV0`4nF!Bv!i]=7d[[SET{qncwcfOj0R![@0J2fCcP80(ju ߥT19H`UԏЌB4e_cB}eoD4VyVNFjX0M