3 | | == 56: 26th June == |
4 | | * Andrew Cowie, Conflict-free replicated data types, Consensus algorithms, and the Cloud |
5 | | * Tony Sloane, Proof-Directed Debugging |
6 | | * Tran Ma, Parallel Cellular Automata in Haskell |
| 3 | == 56: 24th July == |
| 4 | * Mark Wotton: My editor is better than your editor |
| 5 | * Rob Everest: Accelerate and the outside world: Interfacing Accelerate with low-level CUDA |
| 6 | * Ben Lippmeier: Internalizing the effect judgement in DDC |
8 | | == 55: 24th July == |
9 | | * Mark Wotton, My editor is better than your editor |
10 | | * Rob Everest, Accelerate and the outside world: Interfacing Accelerate with low-level CUDA |
11 | | * Ben Lippmeier, Internalizing the effect judgement in DDC |
| 8 | == 55: 26th June == |
| 9 | * Andrew Cowie: Conflict-free replicated data types, Consensus algorithms, and the Cloud |
| 10 | * Tony Sloane: Proof-Directed Debugging |
| 11 | * Tran Ma:, Parallel Cellular Automata in Haskell |
14 | | * Jed Wesley-Smith, [http://code.ouroborus.net/fp-syd/past/2013/2013-05-WesleySmith-Variance.pdf On Variance] |
15 | | * Tim Docker, [http://twdkz.wordpress.com/2013/05/31/data-analysis-with-monoids/ Monoids for Data Analysis] |
16 | | * Amos Robinson, [http://code.ouroborus.net/fp-syd/past/2013/2013-05-Robinson-SpecConstr.pdf SpecConstr Optimising purely functional loops] |
| 14 | * Jed Wesley-Smith: [http://code.ouroborus.net/fp-syd/past/2013/2013-05-WesleySmith-Variance.pdf On Variance] |
| 15 | * Tim Docker: [http://twdkz.wordpress.com/2013/05/31/data-analysis-with-monoids/ Monoids for Data Analysis] |
| 16 | * Amos Robinson: [http://code.ouroborus.net/fp-syd/past/2013/2013-05-Robinson-SpecConstr.pdf SpecConstr Optimising purely functional loops] |