io-sim: A pure simulator for monadic concurrency with STM. - discu.eu

Reddit

Slides from a talk on Partial Order Reduction implemented in IOSim https://hackage.haskell.org/package/io-sim 2 comments 25/2/2024 haskell

Linking pages

IOSim on Hackage! | IOG Engineering https://engineering.iog.io/2023-04-14-io-sim-annoucement 12 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:hackage.haskell.org

Search title: io-sim: A pure simulator for monadic concurrency with STM.

See how to search.

Submit link to: