wiki:Past/2014

Version 15 (modified by Ben Lippmeier, 6 years ago) (diff)

--

Past Meetings, 2014

67: 24th September 2014

  • Eric Torreborre: The Expression Problem solved, finally!
  • Dom De Re: Refined Types
  • Raphael Speyer: Software defined networking

68: 20th August 2014

66: 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

65: 25th June 2014

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

64: 28th May 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

--: January (no meeting)