Structured arrows : a type-based framework for structured parallelism - Castro, David; Hammond, Kevin (2018)