Back to futures

DOI10.1017/S0956796822000016OpenAlexW4214606539MaRDI QIDQ5063251

Klaas Pruiksma, Frank Pfenning

Publication date: 17 March 2022

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.04607

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

ElixirST: a session-based type system for elixir modules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relating state-based and process-based concurrency through linear logic (full-version)
• Pipelining with futures
• Propositional lax logic
• Efficient resource management for linear logic proof search
• Untersuchungen über das logische Schliessen. I
• A message-passing interpretation of adjoint logic
• Subtyping for session types in the pi calculus
• A theory of effects and resources: adjunction models and polarised calculi
• Polarized Substructural Session Types
• Combining effects and coeffects via grading
• MULTILISP: a language for concurrent symbolic computation
• Linear type theory for asynchronous session types
• Adjoint Logic with a 2-Category of Modes
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• Types for Proofs and Programs
• Some Properties of Conversion