Linearity, Control Effects, and Behavioral Types

DOI10.1007/978-3-662-54434-1_9zbMath1485.68055OpenAlexW2594993942WikidataQ57652340 ScholiaQ57652340MaRDI QIDQ2988641

Luís Caires, Jorge A. Pérez

Publication date: 19 May 2017

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/25748

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Comparing type systems for deadlock freedom, Non-Deterministic Functions as Non-Deterministic Processes (Extended Version), A message-passing interpretation of adjoint logic, An interpretation of CCS into ludics

Uses Software

• Alms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential interaction nets
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• On the expressiveness of internal mobility in name-passing calculi
• Linear forwarders
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Effects as sessions, sessions as effects
• Linear Logical Relations for Session-Based Concurrency
• Functions as Session-Typed Processes
• Proof-Carrying Code in a Session-Typed Process Calculus
• Conflation Confers Concurrency
• Structured Interactional Exceptions in Session Types
• Stateful Contracts for Affine Types
• Session Types as Intuitionistic Linear Propositions
• Logic Programming with Focusing Proofs in Linear Logic
• A Powerdomain Construction
• Computational types from a logical perspective
• Superficially substructural types
• Propositions as sessions
• Linear type theory for asynchronous session types
• Behavioral Polymorphism and Parametricity in Session-Based Communication
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• Practical affine types
• Global escape in multiparty sessions
• Linear logic propositions as session types