Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers. Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). Proceedings of the ACM on Programming Languages, 7(ICFP):768-795, August 2023. [doi]
Abstract is missing.