- 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.
Monday, June 10, 2013
Papers at ICFP 2013
All three of the papers my coauthors and I submitted this year were accepted!
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment