English Session type Cited by user 83.223.226.48 on 26 Jul 2023 In type theory, session types are used to ensure correctness in concurrent programs.