Cited By
View all- Ghosh AChaki R(2015)Implementing Software Transactional Memory Using STM HaskellAdvanced Computing and Systems for Security10.1007/978-81-322-2653-6_16(235-248)Online publication date: 19-Nov-2015
- Demeyer RVanhoof W(2013)Static Application-Level Race Detection in STM Haskell using ContractsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.137.10137(115-134)Online publication date: 8-Dec-2013
- Schmidt-Schauß MSabel D(2013)Correctness of an STM Haskell implementationACM SIGPLAN Notices10.1145/2544174.250058548:9(161-172)Online publication date: 25-Sep-2013
- Show More Cited By