3 ms·The Monad Reader: profiling, transactional memory, operational semantics1 points by dons 17y ago