Parallelization via fractional continuation

[gmhwxi]

I recently implemented a package for supporting generic divide-and-conquer:

https://github.com/githwxi/ATS-Postiats/tree/master/libats/BUCS320/DivideConquer

Here is a variant of the package that supports a parallelized form of divide-and-conquer:

https://github.com/githwxi/ATS-Postiats/tree/master/libats/BUCS320/DivideConquerPar

These are very useful packages for supporting general problem-solving, and I will try to
explain what they do elsewhere. I would like to use this occasion to point out that the kind
of parallelization jn DivideConquerPar makes use of so-called fractional continuation. For
this concept, please take a look at the following article in Effective-ATS series:

http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/parallel-sorting/index.html

Cheers!

--Hongwei