Wednesday, June 19, 2013

Internalizing Parametricity at CSL 2013

My paper with Derek Dreyer, Internalizing Relational Parametricity in the Extensional Calculus of Constructions, has been accepted to CSL 2013!

I've never been to Torino before, nor published at CSL. I especially like the fact that the CSL proceedings are Creative Commons-licensed.

Monday, June 10, 2013

Papers at ICFP 2013

All three of the papers my coauthors and I submitted this year were accepted! I'll add links, once we've revised the papers to take into account the comments and suggestions the reviewers made.