www
/
www
8
0
Fork 0
Code Issues Pull Requests 1 Projects Releases Wiki Activity

Merge branch 'master' of /users/www/www/

This commit is contained in:
Michael Ellis 2010-06-25 14:53:39 -04:00
parent e9f5c8ac1b 56f02f4840
commit 06a5ca358b
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
events.xml
View File

@ -4,6 +4,19 @@
<eventdefs>
<!-- Spring 2010 -->
<eventitem date="2010-06-22" time="04:30 PM" room="MC2066" title="Compiling To Combinators">
<short><p>Professor Ragde will be giving the first of our Professor talks for the Spring 2010 term.</p></short>
<abstract><p>
Number theory was thought to be mathematically appealing but practically
useless until the RSA encryption algorithm demonstrated its considerable
utility. I'll outline how combinatory logic (dating back to 1920) has a
similarly unexpected application to efficient and effective compilation,
which directly catalyzed the development of lazy functional programming
languages such as Haskell. The talk is self-contained; no prior knowledge
of functional programming is necessary.
</p></abstract>
</eventitem>
<eventitem date="2010-05-25" time="05:00 PM" room="MC2066" title="Gerald Sussman">
<short><p>Why Programming is a Good Medium for Expressing Poorly Understood and Sloppily Formulated Ideas</p></short>
<abstract>Full details found <a href="http://csclub.uwaterloo.ca/misc/sussman/">here</a></abstract>