Past Meetings, 2013

56: 26th June

• Andrew Cowie, Conflict-free replicated data types, Consensus algorithms, and the Cloud
• Tony Sloane, Proof-Directed Debugging
• Tran Ma, Parallel Cellular Automata in Haskell

55: 24th July

• Mark Wotton, My editor is better than your editor
• Rob Everest, Accelerate and the outside world: Interfacing Accelerate with low-level CUDA
• Ben Lippmeier, Internalizing the effect judgement in DDC

54: 29nd May

• Jed Wesley-Smith, ​On Variance
• Tim Docker, ​Monoids for Data Analysis
• Amos Robinson, ​SpecConstr Optimising purely functional loops

53: 24th April

• Mark Hibberd, ​Interpreters and Little Languages with Free
• Trevor McDonell, The Accelerate EDSL

52: 27th March

• Erik de Castro Lopo: Persistent and Esqueleto
• Eric Torreborre: Kiama, a walk down the beach
• Liam O'Connor-Davis: Type Theory is Proof Theory

51: 27th February

• ​Ben Lippmeier, The Beluga Language
• Dhanji Prasanna, The Loop Language
• Boey Maun Suang, The J Language

--: January (no meeting)