tag:blogger.com,1999:blog-43365593036942803842024-03-05T20:57:10.605-08:00Linear Type TheoriesValeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-4336559303694280384.post-335562896309164842014-02-22T11:05:00.000-08:002014-02-22T11:05:35.312-08:00BACAT and all that...<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgmgv_9UmLcbIFD3C_i95D7-1wVLHY-No2dWJyqtXPa1CmqgyZ-aHw9V9tQU5QDq8uWnBtpV_s5bkrmd3qYWIsLMW8GUkqcx9839cnm6pP9KLeE9OTQuEoaGGXDI5uLP4iNLd2ykLPkF5Ar/s1600/GoldenGateDaveGordon.jpg" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgmgv_9UmLcbIFD3C_i95D7-1wVLHY-No2dWJyqtXPa1CmqgyZ-aHw9V9tQU5QDq8uWnBtpV_s5bkrmd3qYWIsLMW8GUkqcx9839cnm6pP9KLeE9OTQuEoaGGXDI5uLP4iNLd2ykLPkF5Ar/s1600/GoldenGateDaveGordon.jpg" height="266" width="400" /></a></div>
BACAT (<a href="http://www.meetup.com/Bay-Area-Categories-And-Types/">Bay Area Categories and Types</a>) is a meet-up group organized by my friend Vlad.<br />
<br />
It's an interesting collection of people, with different backgrounds and motivations. In the last organizational meeting (<a href="http://www.meetup.com/Bay-Area-Categories-And-Types/events/160631192/">Jan 2014</a>) I proposed that we study Linear Type Theories and Applications to Functional Programming and try to collectively write an state-of-the-art paper on it, by having different people present some of the work in the area. I said I could kick-off the works by presenting some <a href="https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/bbdph92.pdf">very old work</a> on linear type theory. Yesterday I did that, new, very bad quality slides are now in <a href="http://www.slideshare.net/valeria.depaiva/bacat2-copy">slideshare</a>.<br />
<br />
Now it seems to me that the goal of writing collectively a state-of-the-art paper on X is an ideal project for a <a href="http://gowers.wordpress.com/2009/01/27/is-massively-collaborative-mathematics-possible/">Polymath style project</a>. I may be wrong, as perhaps state-of-the-art papers are by nature too subjective?...Or it may be that there's too much ground to cover to make this effort feasible? (Chris Brinkley seems to think so <a href="http://www.meetup.com/SF-Types-Theorems-and-Programming-Languages/events/160598672/">here</a>.)<br />
<br />
I don't know, but it seems worth a shot. In any case, reading your own paper 22 years later is kind of an strange experience.</div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0