In joint work with Peter O'Hearn and Hongseok Yang, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about shared mutable data structure. The ...
Some types of mutable data are popular because those types of mutable data have been taught and learned as effective for years. Finally, three are times when mutable state may be the most appropriate ...
awaits-MRNo GHC MR (https://gitlab.haskell.org/ghc/ghc/-/merge_requests) has been raised yetNo GHC MR (https://gitlab.haskell.org/ghc/ghc/-/merge_requests) has been ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback