1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Samuel Cavoj, Ivan Nikitin, Colin Perkins +1
Session types are a typing discipline used to formally describe communication-driven applications with the aim of fewer errors and easier debugging later into the life cycle of the…