Skip to main content

1 Result(s)

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

and
Your search also matched 2 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.

Identification and Classification of Human Body Parts for Contactless Screening Systems: An Edge-AI Approach

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