Making concurrency functional

Winskel, Glynn; Walukiewicz, Igor, ed. (2023) Making concurrency functional. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, Piscataway, NJ, pp. 1-14. ISBN 9798350335873 (https://doi.org/10.1109/LICS56636.2023.10175727)

[thumbnail of Winskel-LICS-2023-Making-concurrency-functional]
Preview
 Text. Filename: Winskel_LICS_2023_Making_concurrency_functional.pdf
Accepted Author Manuscript
License: Strathprints license 1.0
Download (579kB)| Preview

Abstract

The article bridges between two major paradigms in computation, the functional, at basis computation from input to output, and the interactive, where computation reacts to its environment while underway. Central to any compositional theory of interaction is the dichotomy between a system and its environment. Concurrent games and strategies address the dichotomy in fine detail, very locally, in a distributed fashion, through distinctions between Player moves (events of the system) and Opponent moves (those of the environment). A functional approach has to handle the dichotomy more ingeniously, via its blunter distinction between input and output. This has led to a variety of functional approaches, specialised to particular interactive demands. Through concurrent games we can see what separates and connects the differing paradigms, and show how: •to lift functions to strategies; how to turn functional dependency to causal dependency and so exploit functional techniques. •several approaches of functional programming and logic arise naturally as full subcategories of concurrent games, including stable domain theory; nondeterministic dataflow; geometry of interaction; the dialectica interpretation; lenses and optics, and their extensions to containers in dependent lenses and optics. •the enrichments of strategies (e.g. to probabilistic, quantum or real-number computation) specialise to the functional cases.

  • Item type:Book Section
    ID code:86947
    Dates:
    Date
    Event
    14 July 2023
    Published
    5 April 2023
    Accepted
    Notes:© 2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
    Subjects:Science > Mathematics > Electronic computers. Computer science
    Department:Faculty of Science > Computer and Information Sciences
    Depositing user: Pure Administrator
    Date deposited:12 Oct 2023 13:26
    Last modified:24 Apr 2024 00:08
    Related URLs:
    URI:https://strathprints.strath.ac.uk/id/eprint/86947
CORE (COnnecting REpositories)