Type oriented parallel programming. - Nicholas Edward Brown (2010)