Sort by
Refine Your Search
-
part of the Software Technology group . Research in this group focuses on using and improving functional programming languages such as Haskell and Agda, in particular for parallel computing, software
-
techniques); giving mathematical proofs of their correctness and efficiency; building state-of-the-art implementations of these new techniques (e.g., by leveraging data-parallel functional array programming
Searches related to parallel programming
Enter an email to receive alerts for parallel-programming positions