Version 19 (modified by 11 years ago) (diff) | ,
---|
Past Meetings, 2013
59: 16th October
- Erik de Castro Lopo: ICFP Retrospective
- Ben Lippmeier: Data Flow Fusion with Series Expressions
- Liam O'Connor: CDSL: A Restricted Functional Language for Verification of File Systems
58: 18th September
- George Roldugin: Functional Computer Music
- Maun Suang Boey: Shen: It's Lisp, Jim, but not as we know it.
57: 28th August
- Julian Gamble: Simulation testing with Datomic
- Tom Sewell: Things I've learned about SAT
- Shane Stephens: Generating a Functional API for Web Animations
56: 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
55: 26th June
- Andrew Cowie: Conflict-free replicated data types, Consensus algorithms, and the Cloud
- Tony Sloane: Installing Trampolines in Kiama's Pretty Printer
- Tran Ma:, Parallel Cellular Automata in Haskell
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