Concurrency implementation types, with language examples. Slide from @josevalim's talk at #rmr12