Authors: Castro, David
Contributors: Hammond, Kevin
Subject Terms: 005.3, Parallel computing, Algorithmic skeletons, Structured recursion, Hylomorphisms, Type and effect systems, Cost models, QA76.642C2, Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification, Parallel programs (Computer programs)--Costs
Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/759337