Session types for functional multithreading

DOI10.1007/978-3-540-28644-8_32MaRDI QIDQ5311495zbMATH OpenOpenAlexFDO

Authors António Ravara, Vasco T. Vasconcelos, Simon J. Gay

Publication date 23 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100113, http://hdl.handle.net/10451/14235

zbMATH Keywords

concurrent programmingSession typesspecification of communication protocolsstatic typechecking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Type checking a multithreaded functional language with session types
• Asynchronous Session Types and Progress for Object Oriented Languages
• Non-blocking concurrent imperative programming with session types
• Session-based concurrency, declaratively
• Modular session types for distributed object-oriented programming
• Deconfined Global Types for Asynchronous Sessions
• Session-typed concurrent contracts
• Session-typed concurrent contracts

Cited in

(39)

• Depending on session-typed processes
• A monotone framework for CCS
• Polymorphic lambda calculus with context-free session types
• Formalising Java RMI with explicit code mobility
• Subtyping for session types in the pi calculus
• Fairness and communication-based semantics for session-typed languages
• Monitors and blame assignment for higher-order session types
• A calculus of global interaction based on session types
• Theoretical aspects of communication-centred programming
• Context-free session types
• Context-free session type inference
• Proof-carrying code in a session-typed process calculus
• Contracts for Mobile Processes
• Modular session types for objects
• Affine sessions
• Linearly refined session types
• Rast: a language for resource-aware session types
• Mixed sessions
• Relating Functional and Imperative Session Types
• Session types for link failures
• \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
• Linear type theory for asynchronous session types
• Modular session types for distributed object-oriented programming
• On sessions and infinite data
• A simple library implementation of binary sessions
• Deriving session and union types for objects
• Substructural meta-theory of a type-safe language for web programming
• Asynchronous Session Types and Progress for Object Oriented Languages
• An extensible approach to session polymorphism
• Domain-aware session types
• Manifest deadlock-freedom for shared session types
• Stateful Behavioral Types for Active Objects
• Session-based concurrency in Maude: executable semantics and type checking
• Featherweight Scribble
• Memory access protocols: certified data-race freedom for GPU kernels
• Kind inference for the \textsc{FreeST} programming language
• Parameterized dataflow (extended abstract)
• Checking data-race freedom of GPU kernels, compositionally
• Type checking a multithreaded functional language with session types

This page was built for publication: Session types for functional multithreading

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311495)