Report copyright - Region-Based Dynamic Separation for STM Haskell · STM Haskell. Dynamic separation is a recent approach to software transactional memory (STM) that achieves strongly-atomic seman-tics
Please pass captcha verification before submit form