| Version 11 (modified by , 11 years ago) (diff) |
|---|
Past Meetings, 2013
29nd May (yes 5th Wednesday)
- 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
