A Decade of Dependent Session Types

Abstract

We begin this brief retrospective of our work by thanking the PPDP Steering Committee for awarding the “PPDP 10 Year Most Influential Paper Award” to our paper on dependent session types [22]. This abstract gives an account of the context that led to our 2011 paper, summarizes its key contributions and gives an (incomplete) account of the works that followed it and the remaining challenges in this space.