The ICFP 2010 talks are online for some days … hours and hours of home entertainment! Here is the presentation of my favorite ICFP 2010 paper:
And here is my own stressed and tired talk (for a less stressed version see this):
It’s amazing how much you can learn from a video of your own talk. So many times your impression as a speaker about what the audience got out of your talk are completely off. I wish more conferences would record talks, then maybe the talks would get better.
Leave a Comment » | 
Microsoft, Research, Semantics | 
Permalink
Posted by hritcu
Today we released version 0.1.1 of Dminor, our type-checker for a subset of the code name “M” Modeling Language. This brings several bug fixes and a couple of optimizations to our semantic-subtyping-based prototype type-checker. Andy Gordon posted about the original release of Dminor in December.
Leave a Comment » | Microsoft, Research, Semantics, Software | Permalink
Posted by hritcu
