Reversible session-based concurrency in Haskell

DOI10.1007/978-3-030-18506-0_2zbMath1525.68015MaRDI QIDQ6084530

Folkert de Vries, Jorge A. Pérez

Publication date: 1 December 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://research.rug.nl/en/publications/25f3b69f-4f69-4706-9f59-ab208fbe9083

zbMATH Keywords

reversibilityHaskellsession typesmessage-passing concurrency

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

This page was built for publication: Reversible session-based concurrency in Haskell