table 3

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 14 Mar 2001 18:12:04 -0500 (EST)


  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
  Send mail to mime@docserver.cac.washington.edu for more info.

---559023410-52182039-984611524=:1886
Content-Type: TEXT/PLAIN; charset=US-ASCII


> > What else does it need?  The text about Table 1 needs to be updated, but
> > is there anything else for the table itself.
> 
> I haven't yet gotten the version with compile times.

Here's the latest, including the udated text on Table 1.  I also made the
formatting uniform between Tables 1 and 2.  (I wasn't including
ctimeLines.tex before, but I am this time; although running
processCRimeLines.sml should have produced a correct ctimeLines.tex.) 

> BTW, I would change the headings to "contify time" and "compile time".

Done.


---559023410-52182039-984611524=:1886
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010314181204.1886Q@hoho.cs.cornell.edu>
Content-Description: 

H4sIAEf5rzoAA+xd/3fbNpLvr+Zfgac2qZTQimwnceNc+pJ6k226SdOX5G7vvSiXhUjIYkKRPAK0
rSi8v/1mBgAJUpRtpd1+ldqaIoABBoOZz8yAhDra242CaXYry9NASPmdSILZcZqoaLo4fh3NxXFa
JEoO5Tz+4rM/o73R6O7t21+M4HN4907jOhod3B6NoO5w/87B4eHe/sHhF6N9qD/4go0+f8irfwqp
eM7YF9O4EOqCdpfV/0E/nlpkggW0yuwB60eJYjfs5Yp/B40b3WNeJNDdchrlUh2Z/n1vh8FHiiBN
wlahmkV5uyzQevhOgR4esVzwGIbAi+0ommfxRQ2CdJ5FsVhb//yZSpP11E5NNeJHKIBZmvvcaVLq
iU/QgnDqCYcaqfIoOfHjKBHyCOlALvIIhRNHUpWel2YiYa/FuXr6wjsFDqZPUW66YIiVcN+LkqxQ
Q8UnsZA93exFoZrtsKAXqNpklTjveV6cBjz2GJvCkMbGnxQJtEsTyfoDD2fxgMVCeTvYL+oAjfYM
OEZmdPGb3tQSHfV8lryFZq9oakOVfhDQ1fGM58NIvsp4IJjUVDgTuL6Ysv7TRA2neTrXRCzRAzMY
y9tJzHeRhF6TUz2TDdh858Ns43eoOO/CdO4791djuUG+lv1Gq0GL8nKqwZUmYfg3o2zA/qWcO0xf
OtPmJC9m2bALl40YvpBZh9ELmTTtLprLVaaRCxT6u6sxD43XDgZ1lw727upDXdLJlTqqLa7ftBLA
sqqgurEVrUa2DK+mmKa6zoR/FFKJ8KV4LwK4boI4CVES3NA3n2nMZb3c9IZ19vsVEYl6Wg9LVD2w
q2t4Xr/EuoGLZX3La7vSSAY7boCbEcc0AdGwB99quexQuymUd0G2qQ7q6honTV0/8fNBXb+6CFqS
mucd1p/6LAA5A9t11epaPomSSM42WcX4Sqvy7ugI/j0x/ha/6y9InYtTFutmWFgvxktwue5qYK1Z
OdPT+ramQWPhsMBvVTgi4GFop9+ntnu28d7Ap4J9W7A/GBz1MSK4gX+sqDTRzUbLvZsVyYrno9DH
kThri9xER3uOljjr4zbZv7zJQXeTWj7u/O3Ifkfhvm97HKwHhVcmcFtVqA4e2oKhkO4zKCnY+ww6
zII2wC1cc1pTn+LGQuoYEb/4ciH1DXx5S3B2FfOwXazXZ9vCehwzzHoC22LQsKxqoJtVA0cDnNuO
SK0ppZbomm1frpEoWcQqcVW3f0HdwWpdy7b3YFa6F309GLBb7GA4cqaE17aifuzi9F332q9TCYjE
lR9yxf2JlH4oAn8mzv0pqDHmCFdXBKBcH9yIwK4+8vwACxwRYOGFM30JX5fEI0OPoNOYOc8/MC51
LuMzymJ8TO1kWRqZRFMWp+kHPhM8NMnLqxfPH7P+l73dHnCkZpDfkOCMW1kjv4pT08zdjyA2+sQE
EBIvwCNySRzhyhBnphD5g7JnkGAN0X0Qv0dHODnr3VAGOyKW4sqs6Vo3I3XdbxusG0SNNLWm6gLB
5lh18uqOtYJ/LlGd0dYkK8DnElCC3hlJuDOgjP2yVpTCdzVqTqs9ocqWGyL72JDUx5UWeaubl81u
VjWpUnC0DdRzj5TFUXSTszdUbKdDw3aMgi2t7Ohq6nYqWekvttgKh662sKVO7m3VXUt5Gvd1Pw1V
cW9tk4Zi1DdVDxVta/SPetCPVVEleP0FDMvggWNZ9G3GkzAWaFA2qt1xbCzLcccIo4aAK4j2dbwM
SHbEenYo5i4E3PXGSe/twHSE2AXIk1FopIuugkfYkjCpZeRYToDQb1Tct2PoYSlcxqFM6X1zu4JW
qGFUB/Jg6P9AGGtaVXxD0xdTgHPB55on4rOCMd3lZ4BWh1tiTjW4J4mC97UzuswRXalj6pdMZqMO
rbF1uziq3cDA15t2y29Yj/HmbUONo6SZsNXrdsSKJFJs91vT7REz+3ymY71FqLs9YtVuH/21cXyV
8a30/uatRwEWuXw9n1VvOGjUk5JM0zjMmcfqTx8H0c5bz5RMlUKRgc2m65xTZ45Y+Yya/J3SSWKW
+s94riLMQqlfV6Bf+8PhsMSu6I79B10H1gp0kkl3z9hD9qaxFs2lMCtBfL6FtsQHUINA9MqDcPBC
PZMEkmL+zlD1iU2Iqk7UjKXsSypO2SwcOO3n/NwVWOx1igvn40NTWiHUQ/jeh/98o8sEjDRJYmvk
7VieEJfEeYb2jsk9WbZLJNm3D5AJMy7ZuN2bIeM2xH3J/of1GGCWJ84DkZHgH+d5mut5ZDn0jZyp
VHevhyZcta632rQ1SVkkQt/s1jxgaaHAdPu4k+xrGH7Tu07YW9kVq8m8/o2qotfv+ViLm2XAINzc
GNRkK51UXLzFgdtc/pgCdjictvam3I0p9FN2a8rZlzLFeu+xKsJ5VnyYXRl3U+aBy4Qz/sgfDVZE
eYzblL8jJhvD36zubtqR6Yte6vZMcCP1jzCTqgiH6ZrJ39L5lSdilLF7Ok5lc1Kmwp3az5uZnQ99
wVFoXrU56zR9DgukTfr4VA2fPP1vuMUQZn/gKuYrxWG4ZSOEhFStH4A1nxC/K6FiOy50YkKknCt/
DpQE5eS19Oz6a4DCRF3AOIx5E8c0JRYe+qYc8mzo+yb0zW6wvdFoOBr4vfH42gCCOXdGP6Z6ToMW
OMFgEGgBAHk21iH05lkGqb31RLUTTwBQ/Hoxg4CeRpBjByzv27ChBUH9L3U0j9QY1jmNKr7ud9Ai
Mlhael6xCS3wV9HiM4wNaEH7LSk+17iMsiHPMX6SXnctObWuEbWUTHrTISY9ZEeFKyhD3iEpTd5R
4crKkq8Ky5CvVjjiMtSr8tLEjfKLBbYiFp3efZ7yaNrPUx5D+znKo0l/WeWB2hkGctjA1lf7wMwE
aNMoViL3dphjvDZ+pAbiHP5KqtbxpAksbbRZ7wSs/bzpzeNYnNtUksHtggdBfX8aR2f13YTngOy7
s0LVZfQqwu5JzrOZrEsVpDBpXt9/FHlS3+V8oXLIa+oSwtj69kPkjDDjcwi9KaVlenfqxu8I4cfj
eRGrKEjjYp4s75bL4FO5vAj2x2Mxz2ZLiX1f1QWUtQ8I00j1M8wAjmrOMgtyWHRfK1JWWXKzUCs0
lml3QeVV17dZnx9RRuhPzDUw11BfLxDGeDwRJ1GyDEQCqluOzYpW5YpPipjnpSlefgo+fbqxvF0u
bywPymW2PBhlqny4vFWar+WnEtuCS3OaQ8sc2+TQEmR5jpqUQkaQwR3YTAxU7Qrq67em/IRTAc3F
DGFl7lUbEppOFHYcmHhrF7BL7I8SHi9kZMxvjUqOx0EaCtDMLwkjuN8ry00IJpsSBJsShDUBs/hZ
Q+XFooBm6FWWZc/WajtpOiBfA2eiZn2d9XKfjQYbUUw2pgg2pghdijVepavuETrHC0SAfrRLBHtr
2eukmGxMEWxMEboUG4kA3MBFIsBYt0ME++vZ66KYbEwRbEwRuhSbiABilQskAEFNlwBur2Wui2Cy
KUGwKUHoEnT7Gg0QLaC09yIJK3fTKjbeiVzqDcer/hzXB260y/vVQH4VB1g7gZVpbfF/i/9b/N/i
/xb/fwb+a5B2XYBv8LmZXh2sdQS/mAOoc5mO8P9Phf1/Wij/0wHznw5m/1Sg+UtgoN56aEDgOKkw
SoOg87j8N9mQjMX5iXC2An+rHcl5vMmOJIntDfcnfuCHvvCn/ok/8yP/vf/hrXnRwquey/Rbytfy
Giu+Ii71PjIlKX0zCJWsanil5bDWnXvOrInf+3cAwMtlyZCQOfvS90ktzJhmQv+mMQNss9zb3btX
tkY+6JMIu8ZtKndLp3uDLl5a49ygDVC7KEGcSvE0ofdzGmV4Ygx78H7rM4jbz2/3GV1y/hdf7fqZ
x38vOf+7v4+HffX53zuHUADtD+9C9fb876/w2Z7//eXO//47DvNq+9ue5d2e5d2e5d2e5d2e5d2e
5d2e5d2e5d2e5d2e5d2e5d2e5d2e5d2e5a0Jtmd5t2d5d7Znean8L3eWd3uUd3uUd3uUt0Ncf+mj
vDsdp3h31h3g3WEulXtsd3tod3tod3tod3tod3tod3tod3tod3tod3to93d6aLfnO9BubzWOVy9B
rgXjVgp1RUzufn/TvDVNHfdKE1buNKJcPd7bKyDSH1KX/8Dve25fG/zLfOz7f5Cqihwgx/yfA37h
MS55/+/Onv3/f9w+OLwL7W8f3N3bvv/3a3zGEF8tH9eLXy4dTSg975FkoZBBHk1EyKKEYftcTJeA
1HkaFpQ2lT5u3Yg8LaTdr85ZmoEHiz5y/aoDz4UnEnznLWSTBW6MpJKe9M8EbrABxOG2WFjk5sFM
nsa70zg9Y+mUcdwzAxScQ2sY42SGVJ7Z1AhoAAY9JHKa5nO6HTL2VLFIYkNgNs0FRHmKySIHF2PG
5YrxVicZlwD64J+jGFRCpcQdvdXEzWGkATvj1Kt51rIcBxlIyZ0rvl0AkwTq5Zigt0SxvRKZEvMJ
yGXv3r1vgL/X2PXq6Oh7PWANZioEy2JAcon0OKQezApW5D47i9QMxSfyU5HgtFxGPOxQSD2WFI12
ugqKgrgIiRGwgkShoDN+QuQ+rDsPd9GPeyKGXhNTHCXgYGmHNOeRFLsq3X1fzLPWEvh6W72hBT7u
nHtyBm7+AyToRnvk/42DSInloywT8Q/R/N5hOfS81ymMP0e+cq4EzT8Dv6ZAWnGkFrQHPxGJmEbg
qEFJsEGTA2qiF05Ir6HEEEVLkEFGMgTJQEAmUOGhlrNEnHWtjFkEvabL0rOKDvL9iYPaxiAko9BZ
DvJOlCZ2bKbRa4mSZGezKJgBD54UGaeZNoeGRUsr7aMZtcWcFjmxTEziQmLo4qHZJDVhNuNSaKXP
yGyF1PVgFo6w2hKsyaylAN0EykKWutQgg38KNuOnTVkKDnMza9O9EFYytrY0llH1YuDDdGJsMdTc
JIVlXRMjyODuPY9OZgomccbz0PQHgSvqb5rXIimQAoHkmUhOeCHy3dewAInbND5Jc7CwuVFQ2xDa
vefJ4b0Sw3Oz1gKfMZh2z4tglkTBB63IIJi54AA9CAp6aqDGOKPmSsO/RqXolQa92AAHaGqeLpki
U2A4tX6BwCVHWWF/1TMSqYEB96hhnhli0b39f3gUboNAHoFZaUWtKXymI3YdtJb2VsespTZcXYRh
a2lEDaUgY+bY77398r6hrSPa0je0OnTV3ZlWGL3q7gDuOT682s1SfJyIcAXKfCqcsd2AuER8n6dS
xQsmF/NJGkfBcDxNUwVaKZbeDwUs5g8Qr7K/8zyIOHsZZSluCOuuzkDJH/I85x8iOQTFA2TPgY41
GfX+xk+jkD0PjmMO6mpow3kQ4P1D/hGDh0SoISxdqwuamO/hTL8XSb5gx+K9qvuYYdlDCdYbAHCA
wnZ00ZjusPRQk3WNjfJL58GY8UzeWUQ6w0BDYFQDW69p3+BRAjYTs6fHT35iP2mfOkf1wm0JAXlP
Lb7X+ODyp2fHcTHx+mN86UWp5Uyp7OjWrbOzs2EAUisykSRDgPFbY6iNYuCrlMU8im5hRFkOPD0X
HB7s6ASsKmanIpek7dOVmQCnL74+hoRk6L1SIsOHKf8UApSZQCnmiCiRQmV+9fyZVqEf0lnCXoos
W3hGrO9n+UO0Dljy2XAi4ng35hNpZDvn4OumRY5RAahOWBmfhNzPka5x27VodSRRxzbgc0Q8tYoO
GVVpmnjPn+3+A5js/5eZ58HAWMfrdKrEY/UovvdNZSE6+7K07Hv+/JlQHsxO+2owc/jrLMqjJMwB
StjLVEoIJU6sLuXm/mEGi5JEu3IyDEUl/8ZYMFECRBcrIESyUwvJ2MS5CAplQZ59Mxqx599/xNxd
xOwn0KuomLOnT59qmNm/c5c9/w5XdA4OO1/osMTDGVVPu2S94Ea4NQKg+PzKEbq8QAzD2eHBwUWj
39nbb4yO+AZW7swPQ09+yiGmg+iTgQfsUOeWHd6iLRhEb0iAx4pPtPcmtnbpTQmKGwCJ01zR2kH8
i8EdsKEfgsIXXEdAbI+8YMWPryMVcJzgyeZo4OTccLNHgj0h7jUdg9cHm5qjNMB2GDpAExtSCDfQ
hlD36foQ7Etvn8ohqXebyzCFPxgZ20CQZxAenEfg/gXAKiz8qJ4P+P1IghOZ5BxwBZdOBxQ2IkJX
OI3O0aum2vWbsL0R7S6M/3Y9Ha165SRBE6CmoDDdHF/Wns9OvSNqt2FuJYRGboCioB6ShYkkvCpm
INRcZBhWwoz5JC0U2x9fq0LKFaFqgQOZl4hTwpGcBJGw2+NroDGoLt/hMVfwWXRqEwF25UcS4k+f
cvqn9PSGlXfNADK7bkR+vZKYltL1VnwwHnvrSerG0MzuSV13rrZPVvdmGLEXeh1kWR9CAk7do6k0
0cdQYJnQ4QY3O/1mpVs89406DkrLVNOsGgZngp9ugzOVenFhsdpWZkHE04pE1U21sJEgJK8Y8MbA
fmiTvkbvBGdN2jCSlMuC1v1nUqeV8YLMWyKnsoghM5EzyGHRTHzSQIxXgFuvHXw1e19EIg5BlIgI
4F4zGOWFduMpuS58G8tHXwj22M5pmz0RRKruADjSps/jM76AqF4o3BMlRe7oQ0Q0srEKzYa1IYz+
yWbPcBzqlFIBngD2SUr2Y26zR2gjC5hXoHQWFulEJIcBTVhMjuM0jQtlAoU69/Xc3JccRgg2GKcZ
Oq4cwBT9Vx1sdGRxdXLvfaV/veIrnbzwWKawaoFGGQpuFWUgOmrgWuvwDTBYvnbacoQwRU4MkeyM
dhso3DdkHdKf8tM0ly21sutnMhupMb+dEdZvZmjQ68qGIlQ98HxSS3kScdCySaFWtzQqJ2A3TTxc
wCCGEIpp5UV9hlhpCnNL9HYEaAouVqVdWh8auyAale970AXCJC088IlP4IvceA7QYLCPIsZMnmUQ
xEToocEESX2oY7ve0AILPchG0jwkbU8p9QVmiogSIdy3CkzC2MDha2MJ5h1viMc1ttpfOdFf6fdB
6Kt2TeuAM9eA1o2Z+IKbQcQm+JhfiBmUTfRrBSL4OPCCEKTSj/rNH9p0Awz07LLDaj8BfewITmB1
KB1D6ebpGegNvuwztY0rvekbXj3w3PVQFjTArVqQHMBYj5EUeqNmkDrZgJpebqr6Ns5ZBzhrvDz1
BLFabFMbOklrBCFdSVRiqDYvQkThOAaVJIFw9q9/3fr662Zh7fW7BKrH9OyGJC11tVO4wjDuY9XT
rHyB6wpW8nDDQszxR28J0gBwGl27q5SkdliSQs1oCLlDoEWje4Q+csCDDNwvmo+jB8DiQuNfzWFr
QBRWsnBc5gziH/BP0UlCrTBuNfsayZUk6MSGj2I1w11dbxVFpN4lFGv1uy+GJ8N6SxKj4Vrnq1UC
ZhFaSeIzHk/Xdqd3zeC2MhvLpoMn0rN4IoXSbygusVL/PG65HA3vOLeAPp0/kLX604jdLXW9+9e7
1vG48Vdo9wk5XI0N9csJWNeFdHL544WwBNrQEZqh7VQRIrOARw8jNMqjJa9xrPVGJUXm9aAU2jTi
GG8ljnlNO5UpLC8+y9BBHO1TruxoGV/fYKIC1zqCsypIrvJezc06Z2wJvQbhoUtodgsMczATq/0Y
w50Joe3LvDajk8MoDz3CErmy74he32yIB1xCdvMVObavnDXi1eh6K9gGTgDw+PaMQvsLcGMCecDt
eHo5diIWqclM8emBwg3XCmCJZZGjWUl8APW8UAUd0w0KvW8CMtchX+N51FHVoLTIuv4hEIv006gY
q+uhKcysIjPoDqIa5TU3nFFK5mlLlSJzdBGt8AyAHyIXiClhJXgiQGfihReKACwABpzTpCCrNFxD
pIrbEy9tkGlZuGAO3bvlDYqjJkUJo/1vEenID9VANUwPFm/JpmyMveFBZDa+/2l8H4KZ/hTf4IvZ
uPzKTKuaR3N+JuakNW3uzq+VIToq0GfwRchjgKZjVA7Y86qIgH5JKXO9GIz1vY0fJyA2UKHGChge
DRvghqCVZ09tU37UCCtDMcXTDavr0lpW0JREH6TA0MdDE4wwsCa4sIHTOe27+/qRSwgwQspFgQQ9
YTP2+//tXU1v4zYQvftX5FAQLbAQxOGX2GMP/RW9OHUcBJvsApu4Pbm/ve8NKYm2XG1QZLNYwDzE
kjgcfsybGXJIKfsv23uOya//TJNORpnQpVvU9nTUk0N7fX+Ah/fLxxE+3vzM4+o8lEK54/be8r0V
fZeBBfS2EtwLr3FVcqTJsWNOsc2nFf/2uc7ez5YPu4VVZZhEp+kwy/D4NBFTTPjeHlHdpn0ifDJF
2T4ef1IbA6FsdwqVEa/jdtk4RBDRKwaJboEDVd3D+Xi1jy+PUktwcbBubk4Gnfcc90tj+Hez6ViC
09+mB3yt4/I5o/V+XEiLwXh1X9XhNVLWCEL5CENVkQYUGhnBsLwcPmkw8YMq/GbUqxp8eD7sYcce
ivDnuNEjX1Ms+7pLZd2oGj+MBuJEGbnI1G3JiVfTpLKR1Lb/05nSalBzhGP3FVHeVlnOolzobvP4
sUpy1uU2U+ZMqXJA4x72N7flrRKULi+LCYu9pRX4/VRE1VnPhn10g8XVtzN+hkv3e0zGNvN05Hna
XX+++3PcGWYHuJjcH9rAPGT/8KKv6DH0zNG3w2a726lgtycRfFZc1neAGlH4y+jbdZtgGeTazAuV
eamksRRrPzCoPc8KWcPdrl1Ecb2LvqWB3dco0+bpgJUDXGJFO22k0kiYaEbc3d41M6fd4W5cHG5v
nxk94WLu6WyyU1eJM8XXPdQ0PdL42Q0GHL1mDJsBEngjvrLGVlY1Q3d3W/XMjzXa9eVuclyqjk/w
V3/xajq08vJ5U9/6RPOxAPreB5Wu6Zuk8fzf6cfG3rqOtfN/yItuPv/XB57/s326nv97j7RY2Ror
UUzf9YPx3WCb8ObyTIIJbiikrgv+nLRuORuRIQcjXc7GWoufc0LuAJvkfO6N9Z2PuI7d4M7J6tkU
Y50k1OpAbbu04Fbsl8linSe/JCb6obOLrtTDLSYJmtd3gzfediLnZNMJBSMusbu+R5c6CeeE9dCI
kezZPutM6IYFOz0/Y1zMHjQhGkGPF6z08IgJ2q5eDLrZkLyp/E/0v8Ry3vn8b+9k1n8r3un53/76
/c93SaffaF5sjDweXxu+rOAcP9tvLn5M/9zYHFfITizNGmG1M2sktDDHSYNGVSv7F4Z2BHptcsQf
73gPnevNwD+eOTYOWX8kkE5pkhssf2wmmeuLvapbRSYmZRqNZ8FkolWmCSZG6zMO5kbZWvxKckat
lJGUYmEds/EBhg7aH7MtvHXvCXSVdxBtq4G9JnMY7L48cKm2GTbIypDYBBBISLXdAbYORtYgO/e9
MtfdLNhC5R2M9+wpW0HWoHTlPrjKmXX2JAowis6zc8oZtWf2z9gwtHbtNDr8B3PeHFnVQ6whoXiH
dQp1C2skk0tYwZR4YkVEgVNwA5dEWHmnOU4xNSj0UuK1D06hRCoAQQvaFlW4Vb6UKofeAU/Sp8LZ
OyAm0tNChODkbVbuGQKJxtL3ajHyB0asVuByiyzbZ+UPDo7KECDHCB+l/AMgEcRrszweulhajzaE
QP6KnTTxH9hCHxtwWTex78neEYVQkNp84NeGqAjGQ+Czsne+4NxpFWRP+HHAnPwPgC3/Ncnm9Qir
Pn4NHOrg1wjUua9ZozII2sOgfxQRXoe+CECtipqSMg0ZAZIHLW2plWp3iD8WF1BGNXKiw55VQVm+
lT/mJCyeaa7USklfioNUBrWEuHJq1SyNy1i+ypdTlVo98zC5gaHR8rHqw+AUtFpcpfqfAlzejT7q
e7vMa7qma7qma7qmHz79Cw69AC8AoAAA

---559023410-52182039-984611524=:1886--