I've never been to Torino before, nor published at CSL. I especially like the fact that the CSL proceedings are Creative Commons-licensed.
Wednesday, June 19, 2013
Monday, June 10, 2013
All three of the papers my coauthors and I submitted this year were accepted!
- Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism, Joshua Dunfield and Neelakantan R. Krishnaswami.
- Higher-Order Reactive Programming without Spacetime Leaks, Neelakantan R. Krishnaswami.
- Mtac: A Monad for Typed Tactic Programming in Coq, Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis.
Posted by Neelakantan Krishnaswami at 11:43 AM