10 citations · 17 across the 2 of their papers we have counts for
3 papers · 1 filter
A Survey on Parallelism and Determinism
Laure Gonnord, Ludovic Henrio, Lionel Morel +1
Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even dif…
Kindly Bent to Free Us
Gabriel Radanne, Hannes Saffrich, Peter Thiemann
Systems programming often requires the manipulation of resources like file handles, network connections, or dynamically allocated memory. Programmers need to follow certain protoco…
Effective Quotation: relating approaches to language-integrated query
James Cheney, Sam Lindley, Gabriel Radanne +1
Language-integrated query techniques have been explored in a number of different language designs. We consider two different, type-safe approaches employed by Links and F#. Both ap…