Wednesday, May 30, 2012

Superficially Substructural Types at ICFP 2012!

My paper with Aaron Turon, Derek Dreyer, and Deepak Garg, Superficially Substructural Types, was accepted for publication at ICFP 2012! We'll be revising it (and possibly changing its title) in the next few weeks, to take the reviewers' comments into account.