Session Types for the Transport Layer: Towards an Implementation of TCP. - Samuel Cavoj; Ivan Nikitin; Colin Perkins; Ornela Dardha (PLACES@ETAPS, 2024)