Skip to main content

1 Result(s)

within English Remove this filter Programming Languages, Compilers, Interpreters Remove this filter Pedro Rocha Remove this filter Chapter Remove this filter Conference Paper Remove this filter

and

  1. Chapter and Conference Paper

    Safe Session-Based Concurrency with Shared Linear State

    We introduce \(\textsf{CLASS}\) CLASS , a session-typed, higher-order, core language that su...

    Pedro Rocha, Luís Caires in Programming Languages and Systems (2023)

    Download PDF (752 KB) View Chapter