wiki:Past/2014

Version 10 (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

  • Tony Sloane: Compiling Strict Functional Languages using Continuation Passing Style
  • Thomas Sewell: The Kepler conjecture
  • Tran Ma: Streaming OT (or "the wonders of Gabriel Gonzalez")

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

  • 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)