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


Past Meetings, 2017

90: 25th January

91: 22nd February

  • Erik de Castro Lopo: Hey Dude, Where's my Heap?
  • Louis Pan: Composable Glazier widgets with ReactJS
  • Amos Robinson: Sooner and later: schema specialisation with staged computation

92: 22nd March

93: 26th April

  • Trevor McDonell: How to make a GHCi.
  • Jost Berthold: Dusty decks of parallel Haskell.
  • Sean Seefried: Automatically Generating Tamper Resistant Data Structures.

94: 24th May

  • Rob Clifton-Everest: Expressing Array Programs.
  • Johan Tibbell: Unboxing sum types.
  • Tim McGilchrist: Dependent typing, not just for vectors.

95: 28th June

  • Coq Fight Night

96: 26th July

  • Ben Lippmeier: Shimmer, a container for primops.
  • Erik de Castro Lopo: A Brief Look at Linear Types in GHC 8.4
  • Christian Marie: A Gentle Introduction to the Mathematical Structure of F-Algebras.