English Session type Cited by user Apolexian on 25 Nov 2022 In type theory, session types are used to ensure correctness in concurrent programs.