wiki:Past/2014

Version 9 (modified by Ben Lippmeier, 7 years ago) (diff)

--

Past Meetings, 2014

65: 23rd July 2014

  • Liam O'Conner: Hilbert - Two graphics theorem provers
  • Shane Stephens: Effects in Idris and (maybe) Haskell
  • Eric Willigers: More efficient Combinatory Logic

64: 25th June 2014

  • Ben Sinclair: Haskell and ABC iView
  • Declan Conlon: Kicking the tires on linear sorting
  • Hugh Giddens: Codensity

65: 28th May 2014

  • Ben Lippmeier: Flattening Nested Database Queries
  • Frederick Madsen: Streaming in Accelerate
  • Trevor McDonell: Tales from NVIDIA

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)