Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs. - Michael Dever; Geoff W. Hamilton (Ershov Memorial Conference, 2014)