Effectful theories of programming languages: mathematically structured programming

Project Details

StatusFinished
Effective start/end date1/12/2131/12/23

Funding

  • Other (Learned Society): £207,221.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • An Algebraic Theory for Shared-State Concurrency

    Dvir, Y., Kammar, O. & Lahav, O., 25 Nov 2022, Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. Sergey, I. (ed.). Springer, Cham, p. 2-24 22 p. (Lecture Notes in Computer Science; vol. 13658).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File