Report - A Compositional Theory for STM Haskell - · PDF fileA Compositional Theory for STM Haskell ... ing a parallel operator and rearranged using structural congruence. ... the monadic bind

Please pass captcha verification before submit form