Rocha, PedroCaires, Luís2023-07-142023-07-142023978-3-031-30043-1978-3-031-30044-80302-9743PURE: 66122722PURE UUID: ce95ac47-6438-47b9-ab9d-c42a4feeacf8Scopus: 85161382922http://hdl.handle.net/10362/155272Publisher Copyright: © 2023, The Author(s).We introduce CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.30770055engTheoretical Computer ScienceGeneral Computer Scienceconference object10.1007/978-3-031-30044-8_16https://www.scopus.com/pages/publications/85161382922