Structured arrows : a type-based framework for structured parallelism

Συγγραφείς: Castro, David

Συνεισφορές: Hammond, Kevin

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/759337