|Lambda 5 accepted!
(28 Mar 2004 at 15:34)
|My paper submission to LICS 2004 was accepted! Anybody know anything about Turku, Finland?|
This will really bolster my confidence for writing this damn ICFP submission.
(You can read the Tech Report version here: A Symmetric Modal Lambda Calculus for Distributed Computing.)
|Go there in summer. http://www.turku.fi/english/Photos/index.html |
|Well, the conference is during the summer, so that's when I go!|