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.
No comments:
Post a Comment