5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.DC2017★ 5 cited
Strategy Preserving Compilation for Parallel Functional Code
Robert Atkey, Michel Steuwer, Sam Lindley +1
Graphics Processing Units (GPUs) and other parallel devices are widely available and have the potential for accelerating a wide class of algorithms. However, expert programming ski…
cs.PL2016
Proceedings 6th Workshop on Mathematically Structured Functional Programming
Robert Atkey, Neelakantan Krishnaswami
The sixth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of The…