Back to futures

DOI10.1017/S0956796822000016MaRDI QIDQ5063251zbMATH OpenOpenAlexFDO

Authors Klaas Pruiksma, Frank Pfenning

Publication date 17 March 2022

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

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A concurrent lambda calculus with futures
• Frontiers of Combining Systems
• Dependence analysis for safe futures
• A Complete Guide to the Future
• The semantics of Scheme with future

Cites work

• A message-passing interpretation of adjoint logic
• A theory of effects and resources: adjunction models and polarised calculi
• Adjoint logic with a 2-category of modes
• Combining effects and coeffects via grading
• Efficient resource management for linear logic proof search
• Higher-order processes, functions, and sessions: a monadic integration
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• scientific article; zbMATH DE number 7453964 (Why is no real title available?)
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• Linear type theory for asynchronous session types
• MULTILISP: a language for concurrent symbolic computation
• Pipelining with futures
• Polarized Substructural Session Types
• Propositional lax logic
• Rast: a language for resource-aware session types
• Relating state-based and process-based concurrency through linear logic (full-version)
• Some Properties of Conversion
• Subtyping for session types in the pi calculus
• Types for Proofs and Programs
• Untersuchungen über das logische Schliessen. I

Cited in

(2)

• Data layout from a type-theoretic perspective
• Adjoint natural deduction

This page was built for publication: Back to futures

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