Report copyright - So#ware(Transac-onal(Memory( · write :: TVar a -> a -> STM TVar a == ‘a ref Haskell( OCaml(Atomic(Example(-- inc adds 1 to the mutable reference r inc :: TVar Int -> STM
Please pass captcha verification before submit form
Please pass captcha verification before submit form