tag:blogger.com,1999:blog-6839602.post4238148025277585507..comments2007-06-24T10:41:22.398-07:00Jim Applehttp://www.blogger.com/profile/11080395413026172939noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-6839602.post-9259263087600885552007-06-24T10:41:22.398-07:002007-06-24T10:41:22.398-07:00I've emailed Ben to ask for whatever details he has time to provide us.Jim Applehttp://www.blogger.com/profile/11080395413026172939noreply@blogger.comtag:blogger.com,1999:blog-6839602.post-38195220601781237742007-06-24T10:16:03.609-07:002007-06-24T10:16:03.609-07:00I wasn't at the talk either, but they appear to me to be sigils separating the namespaces of type-variables (), region-variables (%), closure-variables ($), and effect-variables (!), respectively. <BR/><BR/>It's difficult to tell from just the slides if they carry additional meaning.<BR/><BR/>Anyway, thanks for posting this, Jim!Ashsonghttp://www.blogger.com/profile/05322254915965832369noreply@blogger.comtag:blogger.com,1999:blog-6839602.post-73210602068741933682007-06-24T07:28:15.006-07:002007-06-24T07:28:15.006-07:00I wasn't actually at the talk, so I don't know either.Jim Applehttp://www.blogger.com/profile/11080395413026172939noreply@blogger.comtag:blogger.com,1999:blog-6839602.post-10862489418107952062007-06-24T05:29:59.008-07:002007-06-24T05:29:59.008-07:00Do you happen to remember what the % $ ! -(..)> and other notation stands for? It seems kind of hard to infer from the slides only.Thomas Schillinghttp://www.blogger.com/profile/04274984206279511399noreply@blogger.com