contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 12 Mar 2001 20:34:48 -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-1817792895-984447288=:23339
Content-Type: TEXT/PLAIN; charset=US-ASCII


> > I'll take a quick look at the edits of section 5 and add in the spacing
> > tricks.  Then I think I'll send the changes back to you and let you hold
> > onto the token for the entire paper for the rest of the evening.  
> 
> Sounds good.  For now, you have the token to section 5.

Section 5 looks good.  I changed the spacing and made one or two minor
corrections.  I dropped my last two \todo's, because I don't really know
what else to say there, and I think we've built up enough context so that
they don't need much more commentary.

So, here's the update and the token.



---559023410-1817792895-984447288=:23339
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010312203448.23339a@hoho.cs.cornell.edu>
Content-Description: 

H4sIABV3rToAA+08aY/bRrL+3L+iF+CzZwB5dmZy+GUCLzB2jjXWcRb2LPIhNBxKakqMKFLmMYe1
ym9/dfRJUho5MXbxAjEJIond1dXVdVf1nJ49zibp6q9JkeR3tapPGnX74BM/p2enp19+/vmDU3ie
fPlF8P/T08+fnH/55MHpk/MvPjt/cv7k9BTGf/blZ188kKefGpGhp62bpJLyQZq3qtkx7r73/0+f
uFaT9aU+/M3asMFGiBeFbOZZLWFAk5XFSN4ouapUrYoGXlRKyTpJlTQzLuBHJcsqm2Xwi5yURZOl
2STBuYIHAbC2VlOZFXIdL/OmLDYjmtV7/UM5vhvBz1NZtpUs1I2clkuA25SVhXUi5dUc0LEYyOuk
usPZADKrAIPlKle3WXNHgPjHtsly/AVGzdpsmhUz0VRJUadltSRUNVgYCj/PlJyqJfwIYxpYAHGd
qUJVCQEpU0IvrZKluimrBa4jcIxKAK2brJnLm3k2mTsMJ0khxwg0zQrYaUm4yuf/fCNfvISFL2tA
TOCRVCpdByTcEP2Tum6X8D+ZZrdqOpLjtpFJNc4AP9j6qipngIuIYv1JPpVH8TLJ4PDiVwAtyXL4
dAX/O44ANVUwJkAF7xhABwjAAfkCCAEnlScVECK+nCR5vpGXmvyOVy74jRA/IjGyqm7sgfLxxmq5
mq9xkH0B24HjTmR9B1jdymmVXQM2lg+aedKIeVIDseDnLtPIOismSr5Rq0Ytx6qSZ1999b98bg4E
/DtOaktkUY5rVV0TLQk8ErEtiLUlrlQWSlaqaatC5iXTXGYpTq0UAlO3yaTJ73CcqFQymSfjXEna
VFPSNi24tCqXwBlNnU1hagOIlFNmQgswgf/KAsDhmQiEUvfAIAPBrg0A2OB3ZYV4IF+PWDhvEubK
ieU43Os6bhrYRbnaOGhERFgCGIhmqFwtQZSR44AU1yDkABw+W+5b1RtghJ8AIZSNHHBlttXreYdJ
09JshtOYFwDXn5Q/ftnmTVarpgbm/LFtVPXqKD2ORlJ/u+JvSKIoflEU9v2krEDlrMpiSkzKFCLB
KFqWVwFS6M6jYC6XlqJRGg2fB7Omm2kPQlU1SvaOiVqdhHjgnO7qwgLJig4M3BUq1muVm5P1GBLm
jRzrDbDcMIsBe5HORMaCzx6pf4sn7eo3R2zxVMbrPN5EuHZb4VKwr9ygTuAReaAgQFd5ShyLuhX3
tyrrzAgI6jy3oD07UD0o9g0oiCZChQL88UzNSL0hN4l4jN/W06xe5ckdKN/5xvyWVFVyt1lXE1Aq
bgvyIcB8CGjLhYy//nf8tTyajWQ6kotjGSMHag0n4+W4vF0TJTZSyB1P/BqpejQ7/og5MxkX6r1M
ZbyRcSwcSR1+Mx8/jdzVfx4zdxZ9yqXDlAN6q2KqD4A/Dx1Q+BuJPB25iHOVNvG6c5B0jv8qSLim
iAhtCfhlgxjP9F6RUjGOWxTlTSHDcSnyE1oyHJPbLYewtnK71NwOk30Swuz379tkqoEwiYdZeBi1
EuXmBvRah27gBM2bkyH6gRR8Cz9edVXoZm2MKL4C842+RUoeFjsaA0oXXDOw+7gUaOibpJqeGLrD
4LJSS+AXPpz1hkYDMI2UGSDiDx+uypWZR+tuUOfX8/KGzaSFUIOeq9MMvBg8LoOTxnCCGpr9pw7M
DGx09gEphJ9+jsEovIE5r9/KF6gw/PNnnQfaz2MpaRknkuM7sm5SOxmTPAGjdtIB/MNbO58YRsOg
kzMg0KcFhLdAePVWvmlXoOOUjFBQZj1BicCKTuZMn8ihfyLIBwEzCMQd2TczcLbYsjFaKNQoqG5n
4MipCaLCDgDuDkAxduD5AsmLEhyW1YpsBdIN5WHm6KV51kK2mhfA+EunPjV4S+vFyP7C9oDhIyCY
7S2ixQsXqdsVQMeVSKds+hvUoAGCWw6gd0h91SW1py0DIiM+QALcNFkcGdD9j5IdwFnCbyP7ZV6X
nr/SpQJq3S61LR3SkU8FnDh2E0fSHo5PLjqL+L2assQ6MdLShT9qeRWXeTMv29l8WEvAbtI2R+O9
qsCHzSZApKyRKdCYXCSOM+6s91ELGLpMijvws9HVJOey7rqfMAudj4opV+Z5eYMumok8ICiaoX85
EjfkxlBwiG6C9cziRt02TbNOIRYwn2cb9q7M9/mG/A6erGqBaqm4+M3qOVR+16oag2oCZQYbkOlS
HiGTn5ycAGcepfDt2HyZmS880g3EF/Rhrj/QgJkbkA4OmNsBWquG6JgAGsk32nu7+U1yV5tIhB1e
4TuadvACJqsMLZCcZpXi4KRCDceTtcPseZUUjIpghXrIp/aWINFqa4w9J2WbTy2zUIgBe+FYw2yE
vsAudOjCg5YI5e/ljbpGJ9NoOjIiFjUiEwqlAGmnYAEZDwznBKRw2HUf4vNc1fWFsPrfkpzUXvjj
bOjH+SYwFydoCm9o33m2wOASzmdWVrC7JUvOcgXqwBpCiw6i0Fu+t3R3WfIpkGQL1JRhNMuZggLG
m4QMEBkIMC3lr23dkJrcFrfDkW2J2/ENx+3aIg4G7j5rhAG8H2G7zdsEDmc/fvlF06kmAq5ARdxm
nG2RFLwRq/eCKWIQOgdh2OTRI/DsQBOuX6vV6u70DBnrXwUdTY8jzOozCLGAN1YUq4g+w3GsQ+qO
2W3Ulwd7DDolgzvxQKVh3O5JVoKpilneAdfMK9LWmHIAiV2C2RJHYATrbIxRdlb/WmZFcwxn8r5V
BUlAKl1gCcd8VQbB+BCunC+qOIsVBPwY3IKNRCQjiv5FnjRoFoKoPXIee1y/txYrD745xyrFABZo
GEFkhzbvZTJWeQyqDjxxGX8HtGFrbKFX8/LdGQKjAfjtnMLNMWObqwS4GnwDVYlx2WJUm5pZxq7z
JMYaBEPRjw47M4yWiCRErUBV9NYFLINJDTgevXNkYRBZTTqMV6+28gD8a/J311niIZtmt7REmA5B
EWNhBhWWwPZAMU7DrKdOeHUSAD4fBZhEi0ggMwOz35P4QD0Lo03qiXJVZpBLc4BFqEvP4nQX05m1
ziabTCdEwfS0VU2CwJm2VaWus7LFzHHRIP+iT9lIVdRtpWrjNRNl2CEFDL3MhdnbCiKmWgbZnf4O
MXnfcOLLox4tocknhnY0lI/4WTBOVhPn6Wpz9Pw4jjH2e0sDgrAWorXnF3DSbfFNiZHGOnY61n2E
yc+PLo91fOwD+Ll5izC2Rbkxhqb6LXngG8+JDF+rHA4aXo+zGcvTUJ6AYvOjwTfdbQ2N+YRplyC9
QbmKoSGwj3g0CAdwAeOJk/9ommUAnUFcvOB+6DXF+8f93In5/DYM/Aft6dpY46EYHt78wRieIXzy
GP61IqMbXzZVdg0LkDEdLGBc2J1imPwi9QM4E2I+P2JAJC1DdgZESOrFdOBnkgjyHmheIqEP5O+o
pUbejHBx+s0Fk6QjEISvJYZmhHFp1k93cNxZ+NqwD6abBullGTxN6o/qpkUoZv4L/oM83NNElG3F
FwyOcyf4AycPkTT44thkVVhqdWbRqLDIarDI7Mx6CKSk4nxagguyCafrMScilLXoUyZmhlKXw6pP
U2B2zDg+9fY+M/uGXVpSDhBzUIc6Ks0slbZoP0/rOwruHIvU3arqot2WQcMh+7B9wD5WggeGeeb+
Ke2nk30l7qWIt9kLnoRGY8cW1tKTNIehbzz2we1eHLdjsNuS8Bg2J9EgD7n5lhMHGcuf2+Ej/xUJ
pXaR5VG8XiB9ySMnQQUkeJWBVCEJVbCdgXz378v29VKqhfwoCZY9IR6W4o4Y/ynk+E8jxn8yKe5L
rg00tkuu3Cm8sie/jiwDMqyF2A7yhdmgZFPTsU5bDw0+obT0HtJ/b+J6e5Q9zdIUQ1RyKMNouegk
gTDurDG5mOQCU5uYqcZM/oi6c+y8cqW4i6e81llrCE+zSpmUNSWMIMgksI9q7jP6gKkeuSynbU7l
76wuc8IUFnlDKTNapQs94VrC47LCDPmLl5gF92D3Rs+BV1Slh+dJMWuTmSL3MavMClVbAC5poyph
GmEecUaqKvPHaQ7Ofjf3pW5R2XYGZYVtdjIROxc+eHVsRtIUAQQMwh71AdK0xaRUtoRIf5LVnFoG
LlX1JFlhS5UNxDnV22rn3UeDDqnAtpKRbufBwzJbp+agHAJ/bGoogvz341VSY1INQv87boPRXRJF
KQuF+byST/eXX7CPJ6cNAQAgdE0pRATIW8UEHRZ3XBLNBCsybArT+SBd+5BJo9mHklIm2um0Q/md
Y1O2awC3LpeYICHy1nslGjE76EozCKiwyU6/F+7HQlF7GSVzJrRyO2mkXcvk/wdy55hIFiaxv3W9
ITxd98iSghHb3OT2SLkZvR1K4gSwG6rvpJTgG9/BAXJBw4dfVuJji04ne1eIzoIS0bn3rVcjOjM1
oNl5UCU6c2PC8tH5lhf3lI2ugq1xp6XhrZGpLUY28LNtU5f4qVImRcD7n2AKrrKNG00ybvOk2qwn
/6Z/QvP10BX79RfOGvAX+kA2IhbxPM8KJWyFY7nxwrj1ri842dZF5O+YNTujdw5Gd5Z74886/z2z
5vdhGM6iw9QU5m+G/EEth0gJmrKhdCiqPVCqbeYyl97yumHUqIMpiHcJCpaEyqeIX0XEvQYFuI3O
4IZSb+q/VvJN8c5U6LKmVyUpqRgLOGHpgsolXv+YSEwZ2kDqlxpN2XCH6tsHrym4KNUSWLAOKRYU
V8/8L+cbwK9bas3lPLk25bsltoU0qNFt/bHTD0rit7bcsfAXWADRuX1iv7qdLokJZIYTOVy4m5bL
4bodvjDttthsPVS1sw3TfskubbGPk5qgP3D6XmijLHu+QXINB0EaO/PblPEULflNV6zAVGOaBD2M
9ZwKp8C9CSoz7j41VQZdAfOLWpfo2riG5KyhChYRC/Q7HZM2vP2tUS2yBJnQVdipWCZYY8zpPBJk
ZOp58Op3jS5oJDUX/5xZgl+slhVOy+oCF/V8hdVebpMlDWtKEeAxOmfCb98CO7WyiVdjt2hnRiMI
LqoQnfzzQOdGuzeBr3IivuGaWqL7AGAQrxJ9Tw3gr8op9h98O50pDKj3arycgGmgibZ3MH5dlo3N
DvTLe6QBcQ0744imjDisOY431JUXtN89ZKx+sKHgQ7Y1durCBHgL6VUVt0P6h9wKysaKQQ5Ww5JD
wF4PANNx5nDQORxI7lriamCJRXeJe0ot3kKDa7w6uaepE9t6sMEKV6BC7YirAwoPMzrKXXUFwWHJ
eIqsZ0t5QamSuNc20Ee5ydHnGN/iSZj0PHnQuMIAOOzHL0rRUb9fm3YXHIL9HiafX9qfqNUc62dG
mlkfi77GIP8JfgZ0SMV4tzLa2lyIcNMa8MJgyjeoB1IRfR/xbY0Edg5DptQ9DSiDvERFBCpcLc1k
VW/cq0eRFs2wU1tg9HpHFU8X8EKI3FCZk2aVRB/WmrCEDoFfqmKWtKq6Sqpfk+LJV5sTYbu5Q2yy
5VJNM0AHOwwcZg4vTELAYPuOfiWTycg5WmDVGGccsSokfwB/OA4mA4XQmuECtdZ3gveufRrdm4A3
O3QPkk82TfMN05x7yBA/fcgr8HSLRhhUNPL6pd1rH2nkh1KXom0lGtmAgyBA60bl+WPNCmSBKKgM
441cLZeJCbKxzGZ493vCIUGjWviaGM8SnbeGZWCNNyu0ziVYLIRoH0BQtvVPeLFu4vGKhkisklND
B7Iny7kGPlghZKl0i9m6mdGYeSD1EJ2xikXkvbmutcOvbuXH94Jja/EawdlMQDYMtwuzSwcQSe/e
AtkbSxBuD4E9T/Acx5hPmLbsoei+pRyEiIEwZzVz3mABKuvU1LFyV9ginHYT6QdDpEL+DWAEaKvb
rG7qUON6yW9/kLD7A0iPzyK5ZZepQQrMRd4viglUkPTOT7gzglum2MNbbNviqzVFHSLybfUOdumt
b5dIty1xxUvY4xbb2D41bG/6u90Zz+9WqKbIS+ulHrW/b7UEKSqjrIPz0ZpFT7ABARo81gJ0BmG4
g61V4DCqWzVpfT/QZddsU+QN5W6KshG2Pwq1ElZAdE8UZnbsRb9QraXR17rRlBxu8GozUPLg3aLH
DRocDGXoroJFLuoG3o/Imwy0QKhwcoUK8p+kbFH+ABPh1C+trlXON8yCPOESm9aQnnqOT7vEvNOz
Bc/WgdOAa39ke6kw7DnWZrr2ScSX4ESXLHKSY/qTrSg7H3vfRNKw7+vZscTh8jutsbHtOV79B378
y571JemXmFwpbHvFpLuWl6TYbxKX5k3vAMzaMiUsYfQgwGmOPm6f3ma1ide86Dgo5Tb+nfWicDce
w7oz2TV3W9vOzus7A/H1WgfmnQ4eZqY/1r/DAP6DV3D8sCmw2lJau+0aZwakwGQljRzt7E2Rr8A/
couaFpNBw9q5/8FjowFk3PWfHkLmlXffoofVPt0mvnuiq9WEhX8JZSTvN5Ejc3PERH+D9lb3E1Hf
D1FAb9TeMzHLuAs5esTCkcESiiAQNbz7OsH1k48q33dJESzTuZHjze5ZfNsd5jbXiRwd1r27TCnd
oNE819lMDyzfBvIhk/XqaSBE2/pnPt3zgKp4T2IUIBcEv/pGbxGQ/alMvStCg3gbCHy30wOyTVMG
0hjs0SRQ0epKP1iz/lP3JpWT3jyQn5mWHfP+vj3seY8JQrO+0sswQUfJvJ3hmGn6zWlLCWlF93cn
wAPgfmKdyzQJsqgXiMU5ukH47YJmbMRLvP6JOfuxveVhHB0dA4CafHc60vV2/FKQ16PdVZ+0Bd0M
gQGWZu/W4Nlv/MmnBDEUxPuCuX1DHOlCHKEDnAsn1X7o5aroRdmYWDmMeoRWUTot4+voI8qDelHT
sb6bZIwHjxCdmPHYK6v7yzKFtwUJQq8WDuurJb2AFlSHG7Xne0yvBdu/NGpNlQ5J+BTNUms8L5w2
El5LxVP9wh3kyAeldZ3oUp+DccDzVZ/uWw2IDsV208mcCjVME5sN2DPhaevjnj7obnrL3l5RhuN/
5E8J3UPTzv1NWdGfcdAy6ASYykyV4urEFIK1WcHlArx/OakUiDQAw14JHCLn4OXRhUTQjHdlKydz
uuSCFYNVTn97JS/LhSnTl22zapsToWPxi4CuVvycSPbJxpw6NHbA9PEgMoDPgsMebRf9Szutq/u/
M9nAoYh2JEAf4mCbybJw/CXO79Eu9oqf6MLqo7oXwM7lVHuNtKzgxDF+xa4J0GYY1LGONfH1Qt2R
qq7Ka87BBnbAFnWszrYgrd6GXy7ICydjD1o7Mm63k9vjrSk262CQMQ0spAgSa97CfXefMWnm1ZJK
de802kEgYLeyRyxABugZG6AgDxCE9by/IGtBWVY9mPJgImig4Ctn2Jd0neSt0jfDnrH79sJ89lWh
vlSG0U+hOK/jjbHXqjUVg8BiRzyAYcVLNG6/xcgSaHrpzs+7LAUeVO/NwA26MOTBEDWonKspahof
vL9h5NqLjII1qG5PsQKRhAkjUu08eUk/bzd9m7D/FiZuDyYkJGWBbS72rzEJunVtdCWXRU0WiTTT
mv8kVK20MuvWEMIEmWZfKq1ob2BGilUn8M+0vqI/uJOuqfSMzVEZK+IIscVyKFrNZ33p2OI/Djqi
2soEvuPQWfTzdUk1a7G/RyZjLAhTWbjueYuJES6v2IN/KIuTbCgUdOOSm9cUwmobfZONe/vqebaC
Yc0N/vEpy2FYrunWfpX+c2FAXaAk+OFALexag1FU/L/OGqafvp7Y9Deh1Z0KTaLQGqH3Jz163qiW
wkt9lW4ooe8J3SLyx/slPxoq9z4Wi8/VnHU3fvNrIVsK9WlyDbGKCLvtkqZ7/RfbIsMxXlEPhPu/
/WfzDs/hOTyH5/AcnsNzeA7P4Tk8h+fwHJ7Dc3gOz+E5PIfn8Byew3N4Ds/hOTyH5/AcnsNzeA7P
4Tk8h+fwHJ7/6vN/AWC9fgB4AAA=

---559023410-1817792895-984447288=:23339--