Skip to main content

1 Result(s)

within Chapter Remove this filter Conference Paper Remove this filter Pedro Rocha Remove this filter

and
Your search also matched 8 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Constraint Aggregation in Non-linear Programming Models for Nesting Problems

Include preview-only content

  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