Version 18 (modified by Ben Lippmeier, 7 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

55: 26th June

54: 29nd May

53: 24th April

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

--: January (no meeting)