Past Meetings, 2014

63: 23rd April 2014

• Max Swadling: Extended Uses of Template Meta-programming in Haskell

• Coq Fight Night
  Participants:
  • Amos Robinson
  • Liam O'Conner
  • Dom De Re
  • Tony Sloane
  • Ben Lippmeier

62: THURSDAY 20th March 2014

• Yaron Minsky: GADTs for Speed Demons.
• Tim Docker: ADL - A language for describing communicating actor systems.
• Rob Everest: Nested parallelism in Accelerate.

61: 26th February

• Amos Robinson: Better fusion for filters in GHC
• Erik de Castro Lopo: A new big integer library for Haskell.
• Mark Hibberd: lens - more than just a curiosity.

--: January (no meeting)