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
Embedding by Normalisation
Shayan Najd, Sam Lindley, Josef Svenningsson +1
This paper presents the insight that practical embedding techniques, commonly used for implementing Domain-Specific Languages, correspond to theoretical Normalisation-By-Evaluation…