Abstract We introduce $$\textsf{CLASS}$$ CLASS , a session-typed, higher-order, core language that supports concurrent computation with shared linear state.

We develop a principled integration of shared mutable state into a proposition-as-types linear logic interpretation of a session-based concurrent programming language. While the foundation of type systems for the functional core of programming languages often builds on the proposition-as-types correspondence, automatically ensuring strong safety and liveness properties, imperative features have mostly been handled by extra-logical constructions. Our system crucially builds on the integration of nondeterminism and sharing, inspired by logical rules of differential linear logic, and ensures session fidelity, progress, confluence and normalisation, while being able to handle first-class shareable reference cells storing any persistent object. We also show how preservation and, perhaps surprisingly, progress, resiliently survive in a natural extension of our language with first-class locks. We illustrate the expressiveness of our language with examples highlighting detailed features, up to simple shareable concurrent ADTs.

Smartphones, with vast connectivity and sensing capabilities, are the natural choice to serve as gateways for physiologic sensors and body area networks. Machine-to-Machine (M2M) middleware standards are driving the emergence of Internet of Things (IoT) applications by providing autonomic interoperability. However, standards remain opaque and difficult to interpret, throttling implementation. In this work, we report the design and development of an ETSI M2M Gateway (GW) on a mobile device, instantiated in a smartphone. We describe our reasoning in interpreting the standard for the varied implementation challenges faced. Further, we develop libraries to ease the deployment of IoT applications using the ETSI M2M ecosystem with reduced development costs. Finally, we validated the implementation with a mobile e-health pilot with 10 participants during 3 weeks.