ICFP 2013 (The 18th ACM SIGPLAN International Conference on Functional Programming)
ICFP is the conference I attend most regularly; since 2002 I've attended every year except 2004, 2007 and 2011. As mentioned in the last post, I attended ICFP 2013 in Boston, somewhat gratuitously: I wasn't presenting our paper, but was excited by the program and wanted to see a lot of talks. I wasn't disappointed. I attended just about every session. Here is a quick summary of papers/talks that especially stood out, with some reactions: (Please don't be offended if I don't mention your paper - all the talks were good, but these were the ones that made a special impression)
Day 1:The first day had a distinctively dependently-typed feel, with a little algorithms thrown in.
Read more »