15 citations · 17 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025★ 15 cited
PSM: Policy Synchronised Deterministic Memory
Michael Mendler, Marc Pouzet
Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…
cs.PL2023★ 2 cited
Modal Reactors
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh +2
Complex software systems often feature distinct modes of operation, each designed to handle a particular scenario that may require the system to respond in a certain way. Breaking…