4 results
Core data structures and operations
Software Transactional Memory
A framework for safe, programmable, speculative parallelism
Concrete functor and monad transformers